What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Thomas is not sleeping. Thomas is sleeping if and only if Mary is running. David is a bartender and William is a sailor.
David is a bartender. William is a sailor. If Thomas sleeps, then Mary is running. If Mary goes running, then Thomas is sleeping. Mary is not running.