Translate the following inference to logic notation: Sarah is a sailor if and only if it is snowing. Sarah is a sailor. For all x, y will play squash. Therefore it is snowing and Mary is playing squash.
p <-> q. p. forall x: P(x). Therefore q and P(a).