Translate the following inference to logic notation: If John were a taxi driver, then Joseph is curious. Joseph is curious if and only if it is sunny. If it is cold, then it is sunny. It is cold or John is a taxi driver. Therefore Joseph is curious.
p -> q. q <-> r. s -> r. s or p. Therefore q.