Translate the following inference to logic notation: Karen is not taking a plane. Michael is cooking or Patricia is not a taxi driver. Karen is taking a plane if and only if Michael is cooking. If Michael cooks, then Patricia is a taxi driver. Therefore Patricia is not a taxi driver.
~p. q or ~r. p <-> q. q -> r. Therefore ~r.