What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? James is playing squash. David is fast or Thomas is taking a plane. If James plays squash, then Susan is a doctor. For all y, if y were fast, then y is sad. If Thomas takes a plane, then David is sad.
Susan is a doctor.