What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: Robert is playing squash. Thomas is not a poet or it is sunny. If Jennifer were a politician, then Sarah is not bored. Sarah is bored. Robert is not playing squash or Jennifer is a politician.
Jennifer is not a politician can be inferred via the modus tollens rule. Robert is playing squash and Sarah is bored can be inferred via the conjunction rule. Sarah is bored and Robert is playing squash can be inferred via the conjunction rule.