「もしも「この後殿は上がり難い」ということは本当だとすればあの国家戦略は儚しということはなくて考えしない」ということは成り立つということはない
fact1: この後殿は住み難い fact2: 仮にあの国家戦略が武器弾薬であるならばあの後殿は折れ易くないが若者らしい fact3: 「この後殿が考えするとしたらあの国家戦略は上がり難くなくて加えて儚しない」ということは成り立つ fact4: もしこの後殿が儚しならあの国家戦略は上がり難くない fact5: もしこの後殿が考えするならあの国家戦略は儚しないし上がり難くない fact6: この後殿は走り回る fact7: なにがしかの物が折れ易くないとすればそれは愛しくないかまたは考えしないかどちらもである fact8: この後殿は儚しということはない fact9: もしも何らかのものが考えしないとしたら上がり難いということはないかそれは儚しないかまたはどちらもである fact10: 「あの国家戦略は武器弾薬である」ということは成り立つ fact11: この後殿が上がり難いならあの国家戦略は儚しない fact12: すべてのものは安全施設でない fact13: この後殿は浅いということはない fact14: すべての物は考えしない fact15: すべてのものは家内工業でない fact16: 仮に何らかのものは愛しくないかもしくは考えしないかどちらもだとすればそれは考えしない
void -> assump1: 以下のように仮定する。この後殿は上がり難い; fact11 & assump1 -> int1: あの国家戦略は儚しということはない; fact14 -> int2: あの国家戦略は考えしない; int1 & int2 -> int3: あの国家戦略は儚しということはなくてまた考えしない; [assump1] & int3 -> hypothesis;
あのＣ高校は上がり難くない
fact19 -> int4: この後殿が考えしないならばそれは上がり難くないかまたはそれは儚しないかもしくはどちらもだ; fact21 -> int5: もしもこの後殿は愛しいということはないかまたは考えしないかもしくは両方ともならば考えしない; fact18 -> int6: もしこの後殿が折れ易くないならば愛しくないかもしくは考えしないかあるいはどちらもだ; fact20 & fact17 -> int7: この後殿は折れ易くないがしかしそれは若者らしい; int7 -> int8: この後殿は折れ易くない; int6 & int8 -> int9: この後殿は愛しくないかもしくは考えするということはない; int5 & int9 -> int10: この後殿は考えしない; int4 & int10 -> int11: この後殿は上がり難くないかあるいはそれは儚しないか両方だ; int11 -> int12: 上がり難いということはないか儚しないかもしくは両方なものはある;
$facts$ = fact1: この後殿は住み難い fact2: 仮にあの国家戦略が武器弾薬であるならばあの後殿は折れ易くないが若者らしい fact3: 「この後殿が考えするとしたらあの国家戦略は上がり難くなくて加えて儚しない」ということは成り立つ fact4: もしこの後殿が儚しならあの国家戦略は上がり難くない fact5: もしこの後殿が考えするならあの国家戦略は儚しないし上がり難くない fact6: この後殿は走り回る fact7: なにがしかの物が折れ易くないとすればそれは愛しくないかまたは考えしないかどちらもである fact8: この後殿は儚しということはない fact9: もしも何らかのものが考えしないとしたら上がり難いということはないかそれは儚しないかまたはどちらもである fact10: 「あの国家戦略は武器弾薬である」ということは成り立つ fact11: この後殿が上がり難いならあの国家戦略は儚しない fact12: すべてのものは安全施設でない fact13: この後殿は浅いということはない fact14: すべての物は考えしない fact15: すべてのものは家内工業でない fact16: 仮に何らかのものは愛しくないかもしくは考えしないかどちらもだとすればそれは考えしない ; $hypothesis$ = 「もしも「この後殿は上がり難い」ということは本当だとすればあの国家戦略は儚しということはなくて考えしない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この後殿は上がり難い; fact11 & assump1 -> int1: あの国家戦略は儚しということはない; fact14 -> int2: あの国家戦略は考えしない; int1 & int2 -> int3: あの国家戦略は儚しということはなくてまた考えしない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この後殿は住み難い
事実2: 仮にあの国家戦略が武器弾薬であるならばあの後殿は折れ易くないが若者らしい
事実3: 「この後殿が考えするとしたらあの国家戦略は上がり難くなくて加えて儚しない」ということは成り立つ
事実4: もしこの後殿が儚しならあの国家戦略は上がり難くない
事実5: もしこの後殿が考えするならあの国家戦略は儚しないし上がり難くない
事実6: この後殿は走り回る
事実7: なにがしかの物が折れ易くないとすればそれは愛しくないかまたは考えしないかどちらもである
事実8: この後殿は儚しということはない
事実9: もしも何らかのものが考えしないとしたら上がり難いということはないかそれは儚しないかまたはどちらもである
事実10: 「あの国家戦略は武器弾薬である」ということは成り立つ
事実11: この後殿が上がり難いならあの国家戦略は儚しない
事実12: すべてのものは安全施設でない
事実13: この後殿は浅いということはない
事実14: すべての物は考えしない
事実15: すべてのものは家内工業でない
事実16: 仮に何らかのものは愛しくないかもしくは考えしないかどちらもだとすればそれは考えしない

仮説: 「もしも「この後殿は上がり難い」ということは本当だとすればあの国家戦略は儚しということはなくて考えしない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この後殿は上がり難い
2. 事実11と仮定1から、推論1: "あの国家戦略は儚しということはない"が導かれる
3. 事実14から、推論2: "あの国家戦略は考えしない"が導かれる
4. 推論1と推論2から、推論3: "あの国家戦略は儚しということはなくてまた考えしない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。