以下の論理式を Natural Dection の証明図を使って証明せよ。
(1) A ⇒ A (2) A ⇒ (B ⇒ A) (3) (A ∧ (A => B)) ⇒ B (4) B => (B ∧ (A => B))