Translate the following inference to logic notation: Susan is making tea if and only if Mary is driving a car. For all x, x_13 will make tea or x_13 is a sailor. Susan is a sailor if and only if Mary is driving a car. Therefore Mary is driving a car.
P(a) <-> p. forall x: P(x) or Q(x). Q(a) <-> p. Therefore p.