What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is overcast if and only if William is playing squash. William is not running or Jennifer is driving a car. If Jennifer drives a car, then William is playing squash. William is running or it is overcast.
It is overcast or Jennifer is driving a car. If it is overcast, then William is playing squash. If William plays squash, then it is overcast.