A Concise Introduction to Logic, Patrick J. Hurley, Wadsworth, 2006, 9th ed., 8.6, III, 2, p. 436

Translate then derive the conclusion.

Whoever is a friend of either Michael or Paul will receive a gift. If Michael has any friends, then Eileen is one of them. Therefore, if Anne is a friend of Michael, then Eileen will receive a gift. (Fxy: x is a friend of y, Rx: will receive a gift)

1.     (x)[(Fxm v Fxp) ⊃ Rx] 2.     (∃x)Fxm ⊃ Fem ∴ Fam ⊃ Re 3.     Fam 4.     (∃x)Fxm 5.     Fem 6.     (Fem v Fep) ⊃ Re 7.     Fem v Fep 8.     Re 9.     Fam ⊃ Re

ACP 3 EG 2,4 MP 1 UI 5 Add 6,7 MP 3-8 CP