このフロントバンパーは救い給わない
fact1: このインド教は利き難い fact2: もしその二分法は時期以降であるならば「このフロントバンパーは永代島でなくておまけに狡賢いということはない」ということは成り立つ fact3: この新日本は浅黒い fact4: そのアマチュアリズムは長たらしくない fact5: 「もしも「「その確認ダイアログボックスは奥床しいがしかし時期以降でない」ということは本当だということはない」ということは事実ならその二分法は時期以降である」ということは成り立つ fact6: 奥床しいけれど時期以降でないというものはない fact7: この新日本は永代島であるとすると「それは狡賢くなくてそれにそれは仙花紙本でない」ということは嘘である fact8: この新日本は長たらしいということはないならば「それは狡賢くないしかつ仙花紙本でない」ということは正しい fact9: もしもこの新日本が長たらしくないならば比例付与するということはない fact10: もしもこのフロントバンパーが永代島だということはなくてまた狡賢くないとするとあの鎖陰は狡賢くない fact11: その腹部症状は狡賢いということはない fact12: もしもこのフロントバンパーが救い給うとすればこの新日本は永代島である fact13: もし仮に「何かは長たらしいけれど仙花紙本でない」ということは嘘であるとしたら救い給う fact14: もしもこのウイル中佐は嫁入り先だとしたら「それは陥凹しなくて加えて長たらしい」ということは嘘だ fact15: このフロントバンパーは狡賢くない fact16: この新日本は長たらしくない
void -> assump1: 以下のように仮定する。「このフロントバンパーは救い給う」ということは真実である; fact12 & assump1 -> int1: 「この新日本は永代島だ」ということは事実である; int1 & fact7 -> int2: 「この新日本は狡賢くなくておまけにそれは仙花紙本でない」ということは成り立たない; fact16 & fact8 -> int3: この新日本は狡賢くなくてかつ仙花紙本でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの鎖陰は狡賢くなくてしかも犯し易くない
fact19 -> int5: 「その確認ダイアログボックスは奥床しいがしかし時期以降でない」ということは事実と異なる; fact21 & int5 -> int6: その二分法は時期以降である; fact22 & int6 -> int7: このフロントバンパーは永代島でないしかつそれは狡賢くない; fact17 & int7 -> int8: あの鎖陰は狡賢くない; fact20 -> int9: もしも「この新日本は長たらしいがそれは仙花紙本でない」ということは誤っているなら救い給う; fact18 -> int10: 「利き難い」物はある;
$facts$ = fact1: このインド教は利き難い fact2: もしその二分法は時期以降であるならば「このフロントバンパーは永代島でなくておまけに狡賢いということはない」ということは成り立つ fact3: この新日本は浅黒い fact4: そのアマチュアリズムは長たらしくない fact5: 「もしも「「その確認ダイアログボックスは奥床しいがしかし時期以降でない」ということは本当だということはない」ということは事実ならその二分法は時期以降である」ということは成り立つ fact6: 奥床しいけれど時期以降でないというものはない fact7: この新日本は永代島であるとすると「それは狡賢くなくてそれにそれは仙花紙本でない」ということは嘘である fact8: この新日本は長たらしいということはないならば「それは狡賢くないしかつ仙花紙本でない」ということは正しい fact9: もしもこの新日本が長たらしくないならば比例付与するということはない fact10: もしもこのフロントバンパーが永代島だということはなくてまた狡賢くないとするとあの鎖陰は狡賢くない fact11: その腹部症状は狡賢いということはない fact12: もしもこのフロントバンパーが救い給うとすればこの新日本は永代島である fact13: もし仮に「何かは長たらしいけれど仙花紙本でない」ということは嘘であるとしたら救い給う fact14: もしもこのウイル中佐は嫁入り先だとしたら「それは陥凹しなくて加えて長たらしい」ということは嘘だ fact15: このフロントバンパーは狡賢くない fact16: この新日本は長たらしくない ; $hypothesis$ = このフロントバンパーは救い給わない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このフロントバンパーは救い給う」ということは真実である; fact12 & assump1 -> int1: 「この新日本は永代島だ」ということは事実である; int1 & fact7 -> int2: 「この新日本は狡賢くなくておまけにそれは仙花紙本でない」ということは成り立たない; fact16 & fact8 -> int3: この新日本は狡賢くなくてかつ仙花紙本でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: このインド教は利き難い
事実2: もしその二分法は時期以降であるならば「このフロントバンパーは永代島でなくておまけに狡賢いということはない」ということは成り立つ
事実3: この新日本は浅黒い
事実4: そのアマチュアリズムは長たらしくない
事実5: 「もしも「「その確認ダイアログボックスは奥床しいがしかし時期以降でない」ということは本当だということはない」ということは事実ならその二分法は時期以降である」ということは成り立つ
事実6: 奥床しいけれど時期以降でないというものはない
事実7: この新日本は永代島であるとすると「それは狡賢くなくてそれにそれは仙花紙本でない」ということは嘘である
事実8: この新日本は長たらしいということはないならば「それは狡賢くないしかつ仙花紙本でない」ということは正しい
事実9: もしもこの新日本が長たらしくないならば比例付与するということはない
事実10: もしもこのフロントバンパーが永代島だということはなくてまた狡賢くないとするとあの鎖陰は狡賢くない
事実11: その腹部症状は狡賢いということはない
事実12: もしもこのフロントバンパーが救い給うとすればこの新日本は永代島である
事実13: もし仮に「何かは長たらしいけれど仙花紙本でない」ということは嘘であるとしたら救い給う
事実14: もしもこのウイル中佐は嫁入り先だとしたら「それは陥凹しなくて加えて長たらしい」ということは嘘だ
事実15: このフロントバンパーは狡賢くない
事実16: この新日本は長たらしくない

仮説: このフロントバンパーは救い給わない
1. 仮定1: 以下のように仮定する。「このフロントバンパーは救い給う」ということは真実である
2. 事実12と仮定1から、推論1: "「この新日本は永代島だ」ということは事実である"が導かれる
3. 推論1と事実7から、推論2: "「この新日本は狡賢くなくておまけにそれは仙花紙本でない」ということは成り立たない"が導かれる
4. 事実16と事実8から、推論3: "この新日本は狡賢くなくてかつ仙花紙本でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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