Consider the following premises. Thomas is happy or Michael is driving a car. Thomas is not happy. If Michael drives a car, then Robert is a sailor. It is cold if and only if Robert is a sailor. Can we infer the following from them? If we can, name the inference rule being used: Robert is a sailor.
 From the fact that Thomas is happy or Michael is driving a car, and that Thomas is not happy we can infer that Michael is driving a car via disjunctive syllogism. From the fact that it is cold if and only if Robert is a sailor we can infer that if it is cold, then Robert is a sailor via biconditional elimination. From the fact that Michael is driving a car we can infer that Michael is driving a car or it is cold via addition. Finally, from the fact that if Michael drives a car, then Robert is a sailor, that if it is cold, then Robert is a sailor, and that Michael is driving a car or it is cold we can infer that Robert is a sailor via disjunction elimination. Therefore, the answer is yes.