What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Michael is bored if and only if it is overcast. For all y, y will not listen to a song. For all y, if y were bored, then y is listening to a song.
If Michael were bored, then it is overcast. If it is overcast, then Michael is bored. For all y, y is not bored.