What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is not cloudy. It is cloudy if and only if Michael is rich. Richard is a carpenter if and only if Michael is cooking. If Michael cooks, then Michael is rich.
If it is cloudy, then Michael is rich. If Richard were a carpenter, then Michael is cooking. If Michael were rich, then it is cloudy. If Michael cooks, then Richard is a carpenter. Michael is not rich.