Question 885090
<pre>
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
</pre>