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