「その正典は問い掛けるかあるいは入れ難いということはない」ということは真実でない
fact1: 何らかのものは儚し fact2: もし「儚しし加えて問い掛ける」物があるとするとあのツーピースはたわいなくない fact3: 仮にこの二Ｂ鉛筆は問い掛けるということはないとしたら「その正典は問い掛けるかまたはそれは入れ難くない」ということは間違いである fact4: 仮にこの二Ｂ鉛筆が泡状構造であるならばその正典は問い掛けるかそれは入れ難いということはないかあるいはどちらもだ fact5: あのツーピースはたわいない fact6: あの改姓は請来しない fact7: 仮に何らかの物は立往生しないならば「呪わしくないしかつ気恥ずかしい」ということは事実と異なる fact8: それは立往生するしさらに比すという物はない fact9: あの改姓は泡状構造だけれど請来しない fact10: 仮に「儚し」物があるとすればこのペアプログラミングは泡状構造でないかあるいは請来しないかあるいは両方ともだ fact11: 仮にあのツーピースが泡状構造であるならこの二Ｂ鉛筆は泡状構造である fact12: なにかは硬口蓋でない fact13: もし仮になんらかのものが泡状構造であるが請来しないとするとこの二Ｂ鉛筆は儚し fact14: もしも「その一時は呪わしくない一方でそれは気恥ずかしい」ということは間違っていればあの塩類集積は築き難くない fact15: もしもある物が問い掛けるけれどそれがたわいなくないとするとその正典は入れ難い fact16: もし仮に「なにがしかの物は立往生するしその上比す」ということは嘘だとしたら立往生しない fact17: もしも「泡状構造でおまけに請来する」ものがあればこの二Ｂ鉛筆は儚し fact18: 仮にあの塩類集積が築き難くないならこの大口融資先は儚しし加えてたわいない
fact9 -> int1: 何らかのものは泡状構造だが請来しない; int1 & fact13 -> int2: この二Ｂ鉛筆は儚し; void -> assump1: 以下のように仮定する。この二Ｂ鉛筆は問い掛ける; int2 & assump1 -> int3: この二Ｂ鉛筆は儚ししそれに問い掛ける; int3 -> int4: なにがしかの物は儚し物でありその上問い掛ける; int4 & fact2 -> int5: あのツーピースはたわいないということはない; int5 & fact5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この二Ｂ鉛筆は問い掛けない; int7 & fact3 -> hypothesis;
「その正典は問い掛けるかもしくはそれは入れ難くないかもしくはどちらもだ」ということは成り立つ
fact23 -> int8: もしもその一時は立往生しないなら「呪わしくないしさらにそれは気恥ずかしい」ということは間違いだ; fact24 -> int9: もし仮に「その一時は立往生するしそれに比す」ということは嘘であるならばそれは立往生するということはない; fact26 -> int10: 「その一時は立往生するしかつ比す」ということは誤りだ; int9 & int10 -> int11: その一時は立往生しない; int8 & int11 -> int12: 「その一時は呪わしくないがしかしそれは気恥ずかしい」ということは成り立たない; fact25 & int12 -> int13: あの塩類集積は築き難くない; fact19 & int13 -> int14: この大口融資先は儚ししたわいない; int14 -> int15: この大口融資先は儚し; int15 -> int16: なにがしかのものは儚し; int16 & fact21 -> int17: このペアプログラミングは泡状構造であるということはないかもしくは請来しないか両方ともである;
$facts$ = fact1: 何らかのものは儚し fact2: もし「儚しし加えて問い掛ける」物があるとするとあのツーピースはたわいなくない fact3: 仮にこの二Ｂ鉛筆は問い掛けるということはないとしたら「その正典は問い掛けるかまたはそれは入れ難くない」ということは間違いである fact4: 仮にこの二Ｂ鉛筆が泡状構造であるならばその正典は問い掛けるかそれは入れ難いということはないかあるいはどちらもだ fact5: あのツーピースはたわいない fact6: あの改姓は請来しない fact7: 仮に何らかの物は立往生しないならば「呪わしくないしかつ気恥ずかしい」ということは事実と異なる fact8: それは立往生するしさらに比すという物はない fact9: あの改姓は泡状構造だけれど請来しない fact10: 仮に「儚し」物があるとすればこのペアプログラミングは泡状構造でないかあるいは請来しないかあるいは両方ともだ fact11: 仮にあのツーピースが泡状構造であるならこの二Ｂ鉛筆は泡状構造である fact12: なにかは硬口蓋でない fact13: もし仮になんらかのものが泡状構造であるが請来しないとするとこの二Ｂ鉛筆は儚し fact14: もしも「その一時は呪わしくない一方でそれは気恥ずかしい」ということは間違っていればあの塩類集積は築き難くない fact15: もしもある物が問い掛けるけれどそれがたわいなくないとするとその正典は入れ難い fact16: もし仮に「なにがしかの物は立往生するしその上比す」ということは嘘だとしたら立往生しない fact17: もしも「泡状構造でおまけに請来する」ものがあればこの二Ｂ鉛筆は儚し fact18: 仮にあの塩類集積が築き難くないならこの大口融資先は儚しし加えてたわいない ; $hypothesis$ = 「その正典は問い掛けるかあるいは入れ難いということはない」ということは真実でない ; $proof$ = 
fact9 -> int1: 何らかのものは泡状構造だが請来しない; int1 & fact13 -> int2: この二Ｂ鉛筆は儚し; void -> assump1: 以下のように仮定する。この二Ｂ鉛筆は問い掛ける; int2 & assump1 -> int3: この二Ｂ鉛筆は儚ししそれに問い掛ける; int3 -> int4: なにがしかの物は儚し物でありその上問い掛ける; int4 & fact2 -> int5: あのツーピースはたわいないということはない; int5 & fact5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この二Ｂ鉛筆は問い掛けない; int7 & fact3 -> hypothesis; __PROVED__
事実1: 何らかのものは儚し
事実2: もし「儚しし加えて問い掛ける」物があるとするとあのツーピースはたわいなくない
事実3: 仮にこの二Ｂ鉛筆は問い掛けるということはないとしたら「その正典は問い掛けるかまたはそれは入れ難くない」ということは間違いである
事実4: 仮にこの二Ｂ鉛筆が泡状構造であるならばその正典は問い掛けるかそれは入れ難いということはないかあるいはどちらもだ
事実5: あのツーピースはたわいない
事実6: あの改姓は請来しない
事実7: 仮に何らかの物は立往生しないならば「呪わしくないしかつ気恥ずかしい」ということは事実と異なる
事実8: それは立往生するしさらに比すという物はない
事実9: あの改姓は泡状構造だけれど請来しない
事実10: 仮に「儚し」物があるとすればこのペアプログラミングは泡状構造でないかあるいは請来しないかあるいは両方ともだ
事実11: 仮にあのツーピースが泡状構造であるならこの二Ｂ鉛筆は泡状構造である
事実12: なにかは硬口蓋でない
事実13: もし仮になんらかのものが泡状構造であるが請来しないとするとこの二Ｂ鉛筆は儚し
事実14: もしも「その一時は呪わしくない一方でそれは気恥ずかしい」ということは間違っていればあの塩類集積は築き難くない
事実15: もしもある物が問い掛けるけれどそれがたわいなくないとするとその正典は入れ難い
事実16: もし仮に「なにがしかの物は立往生するしその上比す」ということは嘘だとしたら立往生しない
事実17: もしも「泡状構造でおまけに請来する」ものがあればこの二Ｂ鉛筆は儚し
事実18: 仮にあの塩類集積が築き難くないならこの大口融資先は儚しし加えてたわいない

仮説: 「その正典は問い掛けるかあるいは入れ難いということはない」ということは真実でない
1. 事実9から、推論1: "何らかのものは泡状構造だが請来しない"が導かれる
2. 推論1と事実13から、推論2: "この二Ｂ鉛筆は儚し"が導かれる
3. 仮定1: 以下のように仮定する。この二Ｂ鉛筆は問い掛ける
4. 推論2と仮定1から、推論3: "この二Ｂ鉛筆は儚ししそれに問い掛ける"が導かれる
5. 推論3から、推論4: "なにがしかの物は儚し物でありその上問い掛ける"が導かれる
6. 推論4と事実2から、推論5: "あのツーピースはたわいないということはない"が導かれる
7. 推論5と事実5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この二Ｂ鉛筆は問い掛けない"が導かれる
9. 推論7と事実3から、仮説が導かれる

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