Evaluating p85 : p(A)
a is: true (OK)
b is: true (OK)
c is: false (OK)
d is: false (OK)
p(1) is: true (OK)
p(2) is: true (OK)
p(3) is: false (OK)
q(1) is: true (OK)
q(2) is: true (OK)
q(3) is: false (OK)
