What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? William is not fast. William is fast or Thomas is not a carpenter.
Thomas is not a carpenter. If Thomas were a carpenter, then William is fast.