Translate the following inference to logic notation: John is a taxi driver if and only if Robert is drinking water. John is a taxi driver. For all x, y will not drink water. Therefore Joseph is playing squash.
p <-> P(a). p. forall x: ~P(x). Therefore q.