0

1

2

3

4

5

6

(¬s + p)

(s + ¬p)

(¬r + q)

(s + r)

(p + ¬q)

(¬s + q)

(¬p + ¬r)

s: ¬r

s: ¬q

r: ¬s

s: ¬p + ¬q

p: ¬s + r

s: p + ¬r

p: s + q

p: r

p: q

q: ¬p

r: p + ¬q

q: r + s

q: ¬p

r: ¬s

¬s

¬p

┴