1. F->(G.H) 2. (H.G)->J ∴ F->J ------------------- 3. (G.H)->J 2 Commutation 4. F->J 1,3 Hypothetical Syllogism