Consider the following premises. For all y_2, y_2 is a sailor or y_2 is not poor. For all y_2, y_2 is poor if and only if y_2 is a sailor. Can we infer the following from them? If Michael were poor, then Michael is a sailor.
 From the fact that for all y_2, y_2 is poor if and only if y_2 is a sailor we can infer that for all y_2, if y_2 were a sailor, then y_2 is poor. From the fact that for all y_2, y_2 is a sailor or y_2 is not poor we can infer that for all y_2, if y_2 were poor, then y_2 is a sailor. From the fact that for all y_2, if y_2 were poor, then y_2 is a sailor, and that for all y_2, if y_2 were a sailor, then y_2 is poor we can infer that for all y_2, y_2 is poor if and only if y_2 is a sailor. From the fact that for all y_2, y_2 is poor if and only if y_2 is a sailor we can infer that Michael is poor if and only if Michael is a sailor. Finally, from the fact that Michael is poor if and only if Michael is a sailor we can infer that if Michael were poor, then Michael is a sailor. Therefore, the answer is yes.