Evaluating p60 : (p(A),q(A))
p(1) is: false (OK)
p(2) is: true (OK)
p(3) is: true (OK)
p(4) is: true (OK)
q(1) is: false (OK)
q(2) is: false (OK)
q(3) is: true (OK)
q(4) is: true (OK)
s(1) is: false (OK)
s(2) is: true (OK)
s(3) is: false (OK)
s(4) is: false (OK)
