Prove A -> H.

(You can only use the Valid Argument Forms of Inference Rules and/or the Valid Equivalence Forms (Rule of Replacement.)

1. A -> (F -> G) premise

2. ~A v F premise

3. F -> (~G v H) premise

Hint: HS will be used 3 times and Exp will be used many times.