あの責任追求が近寄り難いならばあの五大費目は誇りっぽい
fact1: なんらかの物はラップしないとしたら「切り上げるしそれに近寄り難い」ということは成り立つ fact2: あの責任追求は誇りっぽい fact3: 「あの五大費目は渡り為さるし出直す」ということは成り立つということはない fact4: もし仮に「あの五大費目は誇りっぽいけど渡り為さるということはない」ということは事実と異なるとしたらあの責任追求は近寄り難くない fact5: あの五大費目が切り上げるとすればこの別け隔ては改良型であるけど渡り為さらない
void -> assump1: 以下のように仮定する。「あの五大費目は誇りっぽいけれどそれは渡り為さらない」ということは誤りである; fact4 & assump1 -> int1: あの責任追求は近寄り難くない; void -> assump2: 以下のように仮定する。あの責任追求は近寄り難い; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの五大費目は誇りっぽいがしかし渡り為さらない; int3 -> int4: あの五大費目は誇りっぽい; [assump2] & int4 -> hypothesis;
この別け隔てが改良型だけどそれは渡り為さらない
fact7 -> int5: もしあの五大費目がラップしないとしたらそれは切り上げるしそれに近寄り難い;
$facts$ = fact1: なんらかの物はラップしないとしたら「切り上げるしそれに近寄り難い」ということは成り立つ fact2: あの責任追求は誇りっぽい fact3: 「あの五大費目は渡り為さるし出直す」ということは成り立つということはない fact4: もし仮に「あの五大費目は誇りっぽいけど渡り為さるということはない」ということは事実と異なるとしたらあの責任追求は近寄り難くない fact5: あの五大費目が切り上げるとすればこの別け隔ては改良型であるけど渡り為さらない ; $hypothesis$ = あの責任追求が近寄り難いならばあの五大費目は誇りっぽい ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの五大費目は誇りっぽいけれどそれは渡り為さらない」ということは誤りである; fact4 & assump1 -> int1: あの責任追求は近寄り難くない; void -> assump2: 以下のように仮定する。あの責任追求は近寄り難い; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの五大費目は誇りっぽいがしかし渡り為さらない; int3 -> int4: あの五大費目は誇りっぽい; [assump2] & int4 -> hypothesis; __PROVED__
事実1: なんらかの物はラップしないとしたら「切り上げるしそれに近寄り難い」ということは成り立つ
事実2: あの責任追求は誇りっぽい
事実3: 「あの五大費目は渡り為さるし出直す」ということは成り立つということはない
事実4: もし仮に「あの五大費目は誇りっぽいけど渡り為さるということはない」ということは事実と異なるとしたらあの責任追求は近寄り難くない
事実5: あの五大費目が切り上げるとすればこの別け隔ては改良型であるけど渡り為さらない

仮説: あの責任追求が近寄り難いならばあの五大費目は誇りっぽい
1. 仮定1: 以下のように仮定する。「あの五大費目は誇りっぽいけれどそれは渡り為さらない」ということは誤りである
2. 事実4と仮定1から、推論1: "あの責任追求は近寄り難くない"が導かれる
3. 仮定2: 以下のように仮定する。あの責任追求は近寄り難い
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの五大費目は誇りっぽいがしかし渡り為さらない"が導かれる
6. 推論3から、推論4: "あの五大費目は誇りっぽい"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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