Translate the following inference to logic notation: Michael is not drinking water. Michael is drinking water if and only if Patricia is playing tennis. If Patricia doesn't play tennis, then Patricia is sleeping. If Patricia sleeps, then Patricia is not playing tennis. Therefore Patricia is sleeping.
~p. p <-> q. ~q -> r. r -> ~q. Therefore r.