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