Evaluating p80 : m
m is: true (OK)
p(a) is: false (OK)
p(b) is: true (OK)
p(c) is: false (OK)
q(a) is: true (OK)
q(b) is: true (OK)
q(c) is: false (OK)
r(a) is: true (OK)
r(b) is: false (OK)
r(c) is: false (OK)
s(a) is: true (OK)
s(b) is: false (OK)
s(c) is: true (OK)
