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