Evaluating p09 : p
p is: false (OK)
q is: true (OK)
r is: true (OK)
s is: false (OK)
