Translate the following inference to logic notation: For all x, x_15 is not a sailor. For all x, if x_15 makes tea, then x_15 is a sailor. Mary is driving a car if and only if Thomas is making tea. Therefore Mary is not driving a car or it is snowing.
forall x: ~P(x). forall x: Q(x) -> P(x). p <-> Q(a). Therefore ~p or q.