Evaluating p17 : s
p is: false (OK)
p1 is: false (OK)
p2 is: false (OK)
p3 is: false (OK)
p4 is: false (OK)
p5 is: false (OK)
q is: false (OK)
q1 is: false (OK)
q2 is: false (OK)
q3 is: false (OK)
q4 is: false (OK)
q5 is: false (OK)
r is: false (OK)
r1 is: false (OK)
r2 is: false (OK)
r3 is: false (OK)
r4 is: false (OK)
r5 is: false (OK)
s is: true (OK)
s1 is: true (OK)
s2 is: true (OK)
s3 is: true (OK)
s4 is: true (OK)
s5 is: true (OK)
