Translate the following inference to logic notation: For all x, z_1 will write a letter or z_1 will play squash. Michael is not playing squash. Michael is not writing a letter or it is windy. Therefore it is windy.
forall x: P(x) or Q(x). ~Q(a). ~P(a) or p. Therefore p.