Translate the following inference to logic notation: For all x, x_13 will cook or x_13 is a sailor. James is rich if and only if it is sunny. James is not rich. If William cooks, then it is sunny. Therefore William is a sailor.
forall x: P(x) or Q(x). p <-> q. ~p. P(a) -> q. Therefore Q(a).