この小地名は称揚するということはないけれど際どい
fact1: 仮に何らかのものが投入出来ないかもしくは広がり難いかあるいは両方であるならば掴む fact2: 仮に「とあるものは広がり難くない一方で投入出来る」ということは成り立たないとしたら出し易くない fact3: 何もかもは投入出来ないかもしくはそれは広がり難いかあるいはどちらもである fact4: もし仮に「「掴む一方で出し易くない」ということは本当である」ものがあるとしたらこの拡張的異議は称揚するということはない fact5: あの前日がＬＣＤ以外であるということはないならばあの狂王は灯し難くてさらに何気無い fact6: 仮にこの小地名が早くないならばそれは称揚しない fact7: もしこの拡張的異議は称揚しないならば「「「この小地名は早いが際どかない」ということは事実だ」ということは事実と異なる」ということは成り立つ fact8: この小地名は際どいしまた掴む fact9: 「その狂王は広がり難くないけど投入出来る」ということは事実と異なる fact10: 「あらゆるものは睡蓮でないかまたはそれは愛しいかもしくは両方である」ということは本当である fact11: もしもなにがしかの物は睡蓮であるということはないかもしくは愛しいかまたは両方であるとするとそれはＬＣＤ以外でない fact12: 早くない物は返納するということはないがしかし戦闘状態だ fact13: 仮に「この小地名は早いがしかし際どかない」ということは確かでないならば「その約十箇月後は早くない」ということは本当である fact14: この小地名は早くない fact15: もし灯し難い物が何気無いならばそれは出し易くない
fact6 & fact14 -> int1: 「この小地名は称揚しない」ということは正しい; fact8 -> int2: この小地名は際どい; int1 & int2 -> hypothesis;
fact6 & fact14 -> int1: ¬{B}{a}; fact8 -> int2: {C}{a}; int1 & int2 -> hypothesis;
「この小地名は称揚しないがしかし際どい」ということは間違っている
fact16 -> int3: 「その狂王は広がり難くないけど投入出来る」ということは誤りだとしたらそれは出し易くない; int3 & fact17 -> int4: その狂王は出し易くない; int4 -> int5: 「出し易くない」物はある;
$facts$ = fact1: 仮に何らかのものが投入出来ないかもしくは広がり難いかあるいは両方であるならば掴む fact2: 仮に「とあるものは広がり難くない一方で投入出来る」ということは成り立たないとしたら出し易くない fact3: 何もかもは投入出来ないかもしくはそれは広がり難いかあるいはどちらもである fact4: もし仮に「「掴む一方で出し易くない」ということは本当である」ものがあるとしたらこの拡張的異議は称揚するということはない fact5: あの前日がＬＣＤ以外であるということはないならばあの狂王は灯し難くてさらに何気無い fact6: 仮にこの小地名が早くないならばそれは称揚しない fact7: もしこの拡張的異議は称揚しないならば「「「この小地名は早いが際どかない」ということは事実だ」ということは事実と異なる」ということは成り立つ fact8: この小地名は際どいしまた掴む fact9: 「その狂王は広がり難くないけど投入出来る」ということは事実と異なる fact10: 「あらゆるものは睡蓮でないかまたはそれは愛しいかもしくは両方である」ということは本当である fact11: もしもなにがしかの物は睡蓮であるということはないかもしくは愛しいかまたは両方であるとするとそれはＬＣＤ以外でない fact12: 早くない物は返納するということはないがしかし戦闘状態だ fact13: 仮に「この小地名は早いがしかし際どかない」ということは確かでないならば「その約十箇月後は早くない」ということは本当である fact14: この小地名は早くない fact15: もし灯し難い物が何気無いならばそれは出し易くない ; $hypothesis$ = この小地名は称揚するということはないけれど際どい ; $proof$ = 
fact6 & fact14 -> int1: 「この小地名は称揚しない」ということは正しい; fact8 -> int2: この小地名は際どい; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に何らかのものが投入出来ないかもしくは広がり難いかあるいは両方であるならば掴む
事実2: 仮に「とあるものは広がり難くない一方で投入出来る」ということは成り立たないとしたら出し易くない
事実3: 何もかもは投入出来ないかもしくはそれは広がり難いかあるいはどちらもである
事実4: もし仮に「「掴む一方で出し易くない」ということは本当である」ものがあるとしたらこの拡張的異議は称揚するということはない
事実5: あの前日がＬＣＤ以外であるということはないならばあの狂王は灯し難くてさらに何気無い
事実6: 仮にこの小地名が早くないならばそれは称揚しない
事実7: もしこの拡張的異議は称揚しないならば「「「この小地名は早いが際どかない」ということは事実だ」ということは事実と異なる」ということは成り立つ
事実8: この小地名は際どいしまた掴む
事実9: 「その狂王は広がり難くないけど投入出来る」ということは事実と異なる
事実10: 「あらゆるものは睡蓮でないかまたはそれは愛しいかもしくは両方である」ということは本当である
事実11: もしもなにがしかの物は睡蓮であるということはないかもしくは愛しいかまたは両方であるとするとそれはＬＣＤ以外でない
事実12: 早くない物は返納するということはないがしかし戦闘状態だ
事実13: 仮に「この小地名は早いがしかし際どかない」ということは確かでないならば「その約十箇月後は早くない」ということは本当である
事実14: この小地名は早くない
事実15: もし灯し難い物が何気無いならばそれは出し易くない

仮説: この小地名は称揚するということはないけれど際どい
1. 事実6と事実14から、推論1: "「この小地名は称揚しない」ということは正しい"が導かれる
2. 事実8から、推論2: "この小地名は際どい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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