Translate the following inference to logic notation: Richard is not playing tennis. Richard is playing tennis if and only if Thomas is cooking. If Michael were a poet, then Thomas is cooking. Therefore Michael is not a poet.
~p. p <-> q. r -> q. Therefore ~r.