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