Translate the following inference to logic notation: James is sleeping or Jennifer is not running. Jennifer is running if and only if Michael is a taxi driver. Therefore if Michael were a taxi driver, then James is sleeping.
p or ~q. q <-> r. Therefore r -> p.