You can
put this solution on YOUR website!
1. F -> (~A * I)
2. A v (~J * F)
3. F
/ ~J
-------------------------------------------------------
4. ~A * I 1,3 Modus Ponens
5. ~A 4 Simplification
6. ~J * F 2,5 Disjunctive Syllogism
7. ~J 6 Simplification
(