Translate the following inference to logic notation: If William were bored, then it is overcast. It is not overcast. If it is overcast, then William is bored. For all x, x_10 is bored or x_10 will listen to a song. Therefore William is listening to a song.
P(a) -> p. ~p. p -> P(a). forall x: P(x) or Q(x). Therefore Q(a).