2$

0

1

3

4

5

6

7

(¬r + q)

(¬s + p)

(s + ¬p)

(r+ ¬q)

(s + r)

(p + ¬q)

(¬s + q)

(¬p + ¬r)

r: ¬s

s: ¬r

s: ¬q

r: p

s: ¬p + ¬q

p: ¬s + r

s: p + ¬r

p: s + q

q: ¬p

p: r

p: q

q: s

r: p + ¬q

q: r + s

q: ¬r + ¬p

r: q + ¬s

¬r

p

s

┴