A                | Assumption      |
B                | Assumption      |
(A /\ B)         | AndIntro        | 1, 2
(~C \/ (A /\ B)) | OrIntroRight    | 3
(C -> (A /\ B))  | ImplicationIntro| 4