もしもこの財形貯蓄が手っ取り早いとしたらその課税扱いは敢え無い
fact1: もし仮に「「「「手っ取り早くておまけに平均年齢でない」ということは正しい」ということは成り立つということはない」ものはある」ということは真実ならその課税扱いは敢え無い fact2: この財形貯蓄は平均年齢でない fact3: 「なにがしかの物は手っ取り早くない」ということは真実ならば「それは空々しかなくてしかも敢え無くない」ということは間違っている fact4: 「「手っ取り早くないけれど平均年齢である」ということは嘘な」ものはある fact5: 「この財形貯蓄はダブルクリックする」ということは本当である fact6: もしも「「敢え無くないしさらに平均年齢でない」ということは誤りな」物はあれば「この財形貯蓄は手っ取り早い」ということは正しい fact7: 仮に「「手っ取り早くなくて平均年齢でない」ということは間違いである」ものがあるとすればあの課税扱いは敢え無い fact8: あの景勝地はダブルクリックするがしかし敢え無くない
void -> assump1: 以下のように仮定する。この財形貯蓄は手っ取り早くないしおまけにそれは平均年齢でない; assump1 -> int1: この財形貯蓄は手っ取り早くない; void -> assump2: 以下のように仮定する。この財形貯蓄は手っ取り早い; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この財形貯蓄は手っ取り早くなくて更に平均年齢でない」ということは成り立たない; int3 -> int4: 「「手っ取り早くないしかつ平均年齢でない」ということは成り立たない」ものはある; int4 & fact7 -> int5: その課税扱いは敢え無い; [assump2] & int5 -> hypothesis;
「その聞き手は空々しかないし敢え無くない」ということは真実でない
fact9 -> int6: 仮にその聞き手は手っ取り早くないなら「「それは空々しかないしさらに敢え無くない」ということは成り立つ」ということは偽だ;
$facts$ = fact1: もし仮に「「「「手っ取り早くておまけに平均年齢でない」ということは正しい」ということは成り立つということはない」ものはある」ということは真実ならその課税扱いは敢え無い fact2: この財形貯蓄は平均年齢でない fact3: 「なにがしかの物は手っ取り早くない」ということは真実ならば「それは空々しかなくてしかも敢え無くない」ということは間違っている fact4: 「「手っ取り早くないけれど平均年齢である」ということは嘘な」ものはある fact5: 「この財形貯蓄はダブルクリックする」ということは本当である fact6: もしも「「敢え無くないしさらに平均年齢でない」ということは誤りな」物はあれば「この財形貯蓄は手っ取り早い」ということは正しい fact7: 仮に「「手っ取り早くなくて平均年齢でない」ということは間違いである」ものがあるとすればあの課税扱いは敢え無い fact8: あの景勝地はダブルクリックするがしかし敢え無くない ; $hypothesis$ = もしもこの財形貯蓄が手っ取り早いとしたらその課税扱いは敢え無い ; $proof$ = 
void -> assump1: 以下のように仮定する。この財形貯蓄は手っ取り早くないしおまけにそれは平均年齢でない; assump1 -> int1: この財形貯蓄は手っ取り早くない; void -> assump2: 以下のように仮定する。この財形貯蓄は手っ取り早い; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この財形貯蓄は手っ取り早くなくて更に平均年齢でない」ということは成り立たない; int3 -> int4: 「「手っ取り早くないしかつ平均年齢でない」ということは成り立たない」ものはある; int4 & fact7 -> int5: その課税扱いは敢え無い; [assump2] & int5 -> hypothesis; __PROVED__
事実1: もし仮に「「「「手っ取り早くておまけに平均年齢でない」ということは正しい」ということは成り立つということはない」ものはある」ということは真実ならその課税扱いは敢え無い
事実2: この財形貯蓄は平均年齢でない
事実3: 「なにがしかの物は手っ取り早くない」ということは真実ならば「それは空々しかなくてしかも敢え無くない」ということは間違っている
事実4: 「「手っ取り早くないけれど平均年齢である」ということは嘘な」ものはある
事実5: 「この財形貯蓄はダブルクリックする」ということは本当である
事実6: もしも「「敢え無くないしさらに平均年齢でない」ということは誤りな」物はあれば「この財形貯蓄は手っ取り早い」ということは正しい
事実7: 仮に「「手っ取り早くなくて平均年齢でない」ということは間違いである」ものがあるとすればあの課税扱いは敢え無い
事実8: あの景勝地はダブルクリックするがしかし敢え無くない

仮説: もしもこの財形貯蓄が手っ取り早いとしたらその課税扱いは敢え無い
1. 仮定1: 以下のように仮定する。この財形貯蓄は手っ取り早くないしおまけにそれは平均年齢でない
2. 仮定1から、推論1: "この財形貯蓄は手っ取り早くない"が導かれる
3. 仮定2: 以下のように仮定する。この財形貯蓄は手っ取り早い
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「この財形貯蓄は手っ取り早くなくて更に平均年齢でない」ということは成り立たない"が導かれる
6. 推論3から、推論4: "「「手っ取り早くないしかつ平均年齢でない」ということは成り立たない」ものはある"が導かれる
7. 推論4と事実7から、推論5: "その課税扱いは敢え無い"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

よって、仮説が証明されました。