この鏡餅は走り易いということはない
fact1: なにかは教うなら「ぼろくないがしかし寸法である」ということは本当でない fact2: もし仮に「あの里道は二十パーセント前後であるかあるいは老若でない」ということは事実と異なればあの一号窯は死刑宣告である fact3: あのジャン樟は生成するかあるいは媚び諂うかあるいはどちらもだ fact4: 仮にあの大脳半球は寸法だがぼろくないとすれば「突っつく」ということは偽でない fact5: もし「あのジャン樟は廃棄するということはないし更にそれは裏切り行為でない」ということは成り立たないならあの一号窯は廃棄しない fact6: もし仮にあのジャン樟が生成するとすればそれは所有権である fact7: あの大脳半球が重たいということはないとしたらこの鏡餅は走り易くない fact8: もしも「あの大脳半球は憤怒するということはないがしかし手早い」ということは成り立たないとすると突っつかない fact9: あの大脳半球は寸法でないし加えてぼろくない fact10: その保全措置は重たい fact11: 「あの一号窯は思想信条でないかもしくは旅慣れないかあるいは両方ともである」ということは成り立たないとすると久しい fact12: もしもこの鏡餅が突っつかないとしたら走り易くなくて加えてそれは重たい fact13: もし仮に何かは食料生産でないとすれば「それは二十パーセント前後であるかもしくはそれは老若であるということはない」ということは成り立たない fact14: とあるものは廃棄しない一方で死刑宣告であるとしたらそれは重たくない fact15: 仮にあの大脳半球が憤怒しないならばあの一号窯は重たい fact16: あの大脳半球は寸法であるということはない fact17: 仮にある物は所有権であるなら「廃棄しないしさらに裏切り行為でない」ということは間違っている fact18: もしもあのジャン樟が媚び諂うなら所有権である fact19: 「あの大脳半球は憤怒するしそれに手早い」ということは事実と異なる fact20: 久しいものは教う fact21: あの大脳半球は寸法でないししかもぼろいということはないなら突っつく fact22: もし「あの大脳半球は突っつかない一方で憤怒する」ということは誤りであるとしたらそれは走り易いということはない fact23: もしあの全神経はメゾ・ソプラノであるとすれば「あの一号窯は思想信条でないかもしくは旅慣れない」ということは間違っている fact24: もし仮に「あの一号窯は重たい」ということは成り立てばこの鏡餅は走り易い fact25: もし仮にあの一号窯が重たくないしそれが突っつかないならばあの大脳半球は重たくない
void -> assump1: 以下のように仮定する。「あの大脳半球は憤怒しないけど手早い」ということは誤っている; fact8 & assump1 -> int1: あの大脳半球は突っつかない; fact9 & fact21 -> int2: あの大脳半球は突っつく; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの大脳半球は憤怒しないがしかし手早い; int4 -> int5: あの大脳半球は憤怒しない; int5 & fact15 -> int6: あの一号窯は重たい; int6 & fact24 -> hypothesis;
この鏡餅は走り易くない
$facts$ = fact1: なにかは教うなら「ぼろくないがしかし寸法である」ということは本当でない fact2: もし仮に「あの里道は二十パーセント前後であるかあるいは老若でない」ということは事実と異なればあの一号窯は死刑宣告である fact3: あのジャン樟は生成するかあるいは媚び諂うかあるいはどちらもだ fact4: 仮にあの大脳半球は寸法だがぼろくないとすれば「突っつく」ということは偽でない fact5: もし「あのジャン樟は廃棄するということはないし更にそれは裏切り行為でない」ということは成り立たないならあの一号窯は廃棄しない fact6: もし仮にあのジャン樟が生成するとすればそれは所有権である fact7: あの大脳半球が重たいということはないとしたらこの鏡餅は走り易くない fact8: もしも「あの大脳半球は憤怒するということはないがしかし手早い」ということは成り立たないとすると突っつかない fact9: あの大脳半球は寸法でないし加えてぼろくない fact10: その保全措置は重たい fact11: 「あの一号窯は思想信条でないかもしくは旅慣れないかあるいは両方ともである」ということは成り立たないとすると久しい fact12: もしもこの鏡餅が突っつかないとしたら走り易くなくて加えてそれは重たい fact13: もし仮に何かは食料生産でないとすれば「それは二十パーセント前後であるかもしくはそれは老若であるということはない」ということは成り立たない fact14: とあるものは廃棄しない一方で死刑宣告であるとしたらそれは重たくない fact15: 仮にあの大脳半球が憤怒しないならばあの一号窯は重たい fact16: あの大脳半球は寸法であるということはない fact17: 仮にある物は所有権であるなら「廃棄しないしさらに裏切り行為でない」ということは間違っている fact18: もしもあのジャン樟が媚び諂うなら所有権である fact19: 「あの大脳半球は憤怒するしそれに手早い」ということは事実と異なる fact20: 久しいものは教う fact21: あの大脳半球は寸法でないししかもぼろいということはないなら突っつく fact22: もし「あの大脳半球は突っつかない一方で憤怒する」ということは誤りであるとしたらそれは走り易いということはない fact23: もしあの全神経はメゾ・ソプラノであるとすれば「あの一号窯は思想信条でないかもしくは旅慣れない」ということは間違っている fact24: もし仮に「あの一号窯は重たい」ということは成り立てばこの鏡餅は走り易い fact25: もし仮にあの一号窯が重たくないしそれが突っつかないならばあの大脳半球は重たくない ; $hypothesis$ = この鏡餅は走り易いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの大脳半球は憤怒しないけど手早い」ということは誤っている; fact8 & assump1 -> int1: あの大脳半球は突っつかない; fact9 & fact21 -> int2: あの大脳半球は突っつく; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの大脳半球は憤怒しないがしかし手早い; int4 -> int5: あの大脳半球は憤怒しない; int5 & fact15 -> int6: あの一号窯は重たい; int6 & fact24 -> hypothesis; __DISPROVED__
事実1: なにかは教うなら「ぼろくないがしかし寸法である」ということは本当でない
事実2: もし仮に「あの里道は二十パーセント前後であるかあるいは老若でない」ということは事実と異なればあの一号窯は死刑宣告である
事実3: あのジャン樟は生成するかあるいは媚び諂うかあるいはどちらもだ
事実4: 仮にあの大脳半球は寸法だがぼろくないとすれば「突っつく」ということは偽でない
事実5: もし「あのジャン樟は廃棄するということはないし更にそれは裏切り行為でない」ということは成り立たないならあの一号窯は廃棄しない
事実6: もし仮にあのジャン樟が生成するとすればそれは所有権である
事実7: あの大脳半球が重たいということはないとしたらこの鏡餅は走り易くない
事実8: もしも「あの大脳半球は憤怒するということはないがしかし手早い」ということは成り立たないとすると突っつかない
事実9: あの大脳半球は寸法でないし加えてぼろくない
事実10: その保全措置は重たい
事実11: 「あの一号窯は思想信条でないかもしくは旅慣れないかあるいは両方ともである」ということは成り立たないとすると久しい
事実12: もしもこの鏡餅が突っつかないとしたら走り易くなくて加えてそれは重たい
事実13: もし仮に何かは食料生産でないとすれば「それは二十パーセント前後であるかもしくはそれは老若であるということはない」ということは成り立たない
事実14: とあるものは廃棄しない一方で死刑宣告であるとしたらそれは重たくない
事実15: 仮にあの大脳半球が憤怒しないならばあの一号窯は重たい
事実16: あの大脳半球は寸法であるということはない
事実17: 仮にある物は所有権であるなら「廃棄しないしさらに裏切り行為でない」ということは間違っている
事実18: もしもあのジャン樟が媚び諂うなら所有権である
事実19: 「あの大脳半球は憤怒するしそれに手早い」ということは事実と異なる
事実20: 久しいものは教う
事実21: あの大脳半球は寸法でないししかもぼろいということはないなら突っつく
事実22: もし「あの大脳半球は突っつかない一方で憤怒する」ということは誤りであるとしたらそれは走り易いということはない
事実23: もしあの全神経はメゾ・ソプラノであるとすれば「あの一号窯は思想信条でないかもしくは旅慣れない」ということは間違っている
事実24: もし仮に「あの一号窯は重たい」ということは成り立てばこの鏡餅は走り易い
事実25: もし仮にあの一号窯が重たくないしそれが突っつかないならばあの大脳半球は重たくない

仮説: この鏡餅は走り易いということはない
1. 仮定1: 以下のように仮定する。「あの大脳半球は憤怒しないけど手早い」ということは誤っている
2. 事実8と仮定1から、推論1: "あの大脳半球は突っつかない"が導かれる
3. 事実9と事実21から、推論2: "あの大脳半球は突っつく"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの大脳半球は憤怒しないがしかし手早い"が導かれる
6. 推論4から、推論5: "あの大脳半球は憤怒しない"が導かれる
7. 推論5と事実15から、推論6: "あの一号窯は重たい"が導かれる
8. 推論6と事実24から、仮説が否定される

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