0

1

3

2$

4

5

6

7

(¬s + p)

(s + ¬p)

(r + ¬q)

(¬r + q)

(s + r)

(p + ¬q)

(¬s + q)

(¬p + ¬r)

s: ¬r

s: ¬q

r: p

r: ¬s

s: ¬p + ¬q

p: ¬s + r

s: p + ¬r

p: s + q

p: r

p: q

q: s

q: ¬p

r: p + ¬q

q: r + s

q: ¬r + ¬p

r: q + ¬s

¬s

¬p

r

┴