Translate the following inference to logic notation: It is sunny and it is snowing. If Michael were poor, then it is not sunny. Michael is poor or James is a taxi driver. Therefore James is a taxi driver.
p and q. r -> ~p. r or s. Therefore s.