What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jessica were an electrician, then it is windy. If Thomas cooks, then Elisabeth is rich. If Elisabeth were rich, then it is windy. Thomas is a lawyer or Thomas is cooking. Thomas is not a lawyer or Jessica is an electrician.
If Thomas cooks, then it is windy. Thomas is cooking or Jessica is an electrician.