Translate the following inference to logic notation: If it is late, then Susan is not playing squash. For all x, y will play squash and y will work. Therefore it is not late.
p -> ~P(a). forall x: P(x) and Q(x). Therefore ~p.