What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jennifer is happy if and only if Mary is writing a letter. Michael is climbing a mountain. If Michael climbs a mountain, then Mary is writing a letter.
Mary is writing a letter. If Jennifer were happy, then Mary is writing a letter. If Mary writes a letter, then Jennifer is happy.