p. p is false (OK)
p. q is true (OK)
p. r is false (OK)
q. p is false (OK)
q. q is true (OK)
q. r is false (OK)
r. p is false (OK)
r. q is true (OK)
r. r is false (OK)
