Prove A -> H.

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

A -> (F -> G) premise

~A v F premise

F -> (~G v H) premise

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