Translate the following inference to logic notation: It is raining if and only if Thomas is a carpenter. For all x, x_1 is not a carpenter. Robert is taking a plane and it is late. Therefore Robert is taking a plane and it is not raining.
p <-> P(a). forall x: ~P(x). q and r. Therefore q and ~p.