Translate the following inference to logic notation: It is not raining. Sarah is a taxi driver. It is raining if and only if Patricia is fast. Therefore Sarah is a taxi driver.
~p. q. p <-> r. Therefore q.