What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Michael is not a taxi driver or Sarah is reading a book. William is not a poet. Michael is a taxi driver or Linda is climbing a mountain. William is a poet if and only if Linda is climbing a mountain.
Linda is climbing a mountain or Sarah is reading a book. If William were a poet, then Linda is climbing a mountain. If Linda climbs a mountain, then William is a poet. Linda is not climbing a mountain.