Translate the following inference to logic notation: If Barbara makes tea, then Thomas is a taxi driver. If Barbara doesn't make tea, then Barbara is sleeping. For all x, y_4 is not a taxi driver. Therefore Barbara is sleeping.
p -> P(a). ~p -> q. forall x: ~P(x). Therefore q.