2$

0

1

3

4

5

6

(¬r + q)

(¬s + p)

(s + ¬p)

(s + r)

(p + ¬q)

(¬s + q)

(¬p + ¬r)

r: ¬s

s: ¬r

s: ¬q

s: ¬p + ¬q

p: ¬s + r

s: p + ¬r

p: s + q

q: ¬p

p: r

p: q

r: p + ¬q

q: r + s

q: ¬p

r: ¬s

¬r

p

s

1

1

q

1