Translate the following inference to logic notation: For all x, y_4 will play squash. If it is overcast, then Richard is a mechanic. Susan is a sailor if and only if Richard is a mechanic. Susan is a sailor or it is overcast. Therefore Robert is playing squash and Richard is a mechanic.
forall x: P(x). p -> q. r <-> q. r or p. Therefore P(a) and q.