センテンス1

とする．

1　　(1)　　　仮定

2　　(2)　　　仮定

3　　(3)　　　仮定

1,2　 (4)　　　1,2. →-除去

1,2　 (5)　　　4. ∧-除去

2　　(6)　　　2-3. →-導入

　　  (7)　　　2-5. →-導入

　したがって

を得る．▢