Question 1008802
<pre>
1. N > (F & A)
2. B > (R & F)       /    (N v B) > (A v R)

3. N v B                Conditional Proof Assumption
4. (F & A) v (R & F)    1,2,3 Constructive Dilemma
5. (F & A) v (F & R)    4, Commutativity
6. F & (A v R)          5, Distribution
7. A v R                6, (Conjunctive) Simplification   
8. (N v B) > (A v R)    3-7 Conditional Proof

Edwin</pre>