What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Robert is sad. It is not snowing. If Susan were bored, then it is snowing. If William were poor, then Susan is bored.
Susan is not bored. Robert is sad and it is not snowing. It is not snowing and Robert is sad.