「あのバブル発生は秋山記行でない一方で悪賢い」ということは事実でない
fact1: 「そのクラブチームは訝しくない」ということは成り立つ fact2: 「あるものは読み易くないがしかしそれは新聞小説である」ということは成り立つということはないとしたら立ち行かない fact3: もしも「あの馬飼いルールは着易くない」ということは成り立つとしたら「一型アレルギーでないしおまけに雪深い」ということは事実と異なる fact4: 「あの馬飼いルールは一型アレルギーであるがそれは雪深くない」ということは成り立つということはない fact5: もしなんらかのものは平均日数でないとすれば「それは読み易くなくてそれは新聞小説である」ということは誤りである fact6: もし仮にあの馬飼いルールは着易くないならば「一型アレルギーでないし雪深くない」ということは間違いだ fact7: 仮に何かは立ち行かないとすると「皮膚刺激だがしかし訝しくない」ということは偽だ fact8: もしも「あの馬飼いルールは着易い」ということは正しいならこの晩酌は悪賢い fact9: 仮にあの馬飼いルールが皮膚刺激でないならばそれは訝しくなくてそれにそれは立ち行く fact10: もし仮に何らかの物が訝しくないとすれば秋山記行であるしそれにそれは着易くない fact11: 「あの馬飼いルールは一型アレルギーでないけど雪深い」ということは嘘だ fact12: もしあの馬飼いルールは着易くないとすれば「一型アレルギーであるけれど雪深くない」ということは嘘である fact13: もしこの晩酌は活動領域だとすれば「説く」ということは本当だ fact14: 仮にそのクラブチームが訝しくないとすればあの馬飼いルールは一型アレルギーでないししかも雪深くない fact15: もしこの晩酌が悪賢いとすればあのバブル発生は秋山記行でない fact16: この晩酌が悪賢いとするとあのバブル発生は秋山記行でないがしかし悪賢い fact17: もし仮に「何らかの物は皮膚刺激だがしかし訝しいということはない」ということは成り立たないならそれは訝しい fact18: この晩酌は活動領域である fact19: 仮にこの晩酌が説くとしたら張り切り過ぎるということはないかあるいは下がれるかあるいはどちらもだ fact20: もし仮にとある物は着易いならば「秋山記行でないけれど悪賢い」ということは間違いだ
void -> assump1: 以下のように仮定する。あの馬飼いルールは着易くない; fact6 & assump1 -> int1: 「あの馬飼いルールは一型アレルギーであるということはないし雪深くない」ということは間違いである; fact14 & fact1 -> int2: あの馬飼いルールは一型アレルギーでなくて雪深くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの馬飼いルールは着易い; int4 & fact8 -> int5: この晩酌は悪賢い; int5 & fact16 -> hypothesis;
「あのバブル発生は秋山記行でないが悪賢い」ということは事実と異なる
fact28 -> int6: あのバブル発生は着易いとすると「それは秋山記行でないけど悪賢い」ということは偽である; fact26 -> int7: もしも「「あの馬飼いルールは皮膚刺激だけれど訝しくない」ということは本当だ」ということは成り立たないとしたら「それは訝しい」ということは成り立つ; fact23 -> int8: あの馬飼いルールは立ち行かないとすると「それは皮膚刺激であるし更に訝しくない」ということは偽だ; fact21 -> int9: 仮に「あの馬飼いルールは読み易いということはないが新聞小説だ」ということは成り立たないならばそれは立ち行かない; fact24 -> int10: もし仮にあの馬飼いルールは平均日数でないとすると「読み易くなくて新聞小説である」ということは事実と異なる; fact22 & fact25 -> int11: この晩酌は説く; fact27 & int11 -> int12: この晩酌は張り切り過ぎないかもしくは下がれるかもしくは両方ともである; int12 -> int13: ある物は張り切り過ぎないかあるいは下がれるかもしくはどちらもだ;
$facts$ = fact1: 「そのクラブチームは訝しくない」ということは成り立つ fact2: 「あるものは読み易くないがしかしそれは新聞小説である」ということは成り立つということはないとしたら立ち行かない fact3: もしも「あの馬飼いルールは着易くない」ということは成り立つとしたら「一型アレルギーでないしおまけに雪深い」ということは事実と異なる fact4: 「あの馬飼いルールは一型アレルギーであるがそれは雪深くない」ということは成り立つということはない fact5: もしなんらかのものは平均日数でないとすれば「それは読み易くなくてそれは新聞小説である」ということは誤りである fact6: もし仮にあの馬飼いルールは着易くないならば「一型アレルギーでないし雪深くない」ということは間違いだ fact7: 仮に何かは立ち行かないとすると「皮膚刺激だがしかし訝しくない」ということは偽だ fact8: もしも「あの馬飼いルールは着易い」ということは正しいならこの晩酌は悪賢い fact9: 仮にあの馬飼いルールが皮膚刺激でないならばそれは訝しくなくてそれにそれは立ち行く fact10: もし仮に何らかの物が訝しくないとすれば秋山記行であるしそれにそれは着易くない fact11: 「あの馬飼いルールは一型アレルギーでないけど雪深い」ということは嘘だ fact12: もしあの馬飼いルールは着易くないとすれば「一型アレルギーであるけれど雪深くない」ということは嘘である fact13: もしこの晩酌は活動領域だとすれば「説く」ということは本当だ fact14: 仮にそのクラブチームが訝しくないとすればあの馬飼いルールは一型アレルギーでないししかも雪深くない fact15: もしこの晩酌が悪賢いとすればあのバブル発生は秋山記行でない fact16: この晩酌が悪賢いとするとあのバブル発生は秋山記行でないがしかし悪賢い fact17: もし仮に「何らかの物は皮膚刺激だがしかし訝しいということはない」ということは成り立たないならそれは訝しい fact18: この晩酌は活動領域である fact19: 仮にこの晩酌が説くとしたら張り切り過ぎるということはないかあるいは下がれるかあるいはどちらもだ fact20: もし仮にとある物は着易いならば「秋山記行でないけれど悪賢い」ということは間違いだ ; $hypothesis$ = 「あのバブル発生は秋山記行でない一方で悪賢い」ということは事実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの馬飼いルールは着易くない; fact6 & assump1 -> int1: 「あの馬飼いルールは一型アレルギーであるということはないし雪深くない」ということは間違いである; fact14 & fact1 -> int2: あの馬飼いルールは一型アレルギーでなくて雪深くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの馬飼いルールは着易い; int4 & fact8 -> int5: この晩酌は悪賢い; int5 & fact16 -> hypothesis; __DISPROVED__
事実1: 「そのクラブチームは訝しくない」ということは成り立つ
事実2: 「あるものは読み易くないがしかしそれは新聞小説である」ということは成り立つということはないとしたら立ち行かない
事実3: もしも「あの馬飼いルールは着易くない」ということは成り立つとしたら「一型アレルギーでないしおまけに雪深い」ということは事実と異なる
事実4: 「あの馬飼いルールは一型アレルギーであるがそれは雪深くない」ということは成り立つということはない
事実5: もしなんらかのものは平均日数でないとすれば「それは読み易くなくてそれは新聞小説である」ということは誤りである
事実6: もし仮にあの馬飼いルールは着易くないならば「一型アレルギーでないし雪深くない」ということは間違いだ
事実7: 仮に何かは立ち行かないとすると「皮膚刺激だがしかし訝しくない」ということは偽だ
事実8: もしも「あの馬飼いルールは着易い」ということは正しいならこの晩酌は悪賢い
事実9: 仮にあの馬飼いルールが皮膚刺激でないならばそれは訝しくなくてそれにそれは立ち行く
事実10: もし仮に何らかの物が訝しくないとすれば秋山記行であるしそれにそれは着易くない
事実11: 「あの馬飼いルールは一型アレルギーでないけど雪深い」ということは嘘だ
事実12: もしあの馬飼いルールは着易くないとすれば「一型アレルギーであるけれど雪深くない」ということは嘘である
事実13: もしこの晩酌は活動領域だとすれば「説く」ということは本当だ
事実14: 仮にそのクラブチームが訝しくないとすればあの馬飼いルールは一型アレルギーでないししかも雪深くない
事実15: もしこの晩酌が悪賢いとすればあのバブル発生は秋山記行でない
事実16: この晩酌が悪賢いとするとあのバブル発生は秋山記行でないがしかし悪賢い
事実17: もし仮に「何らかの物は皮膚刺激だがしかし訝しいということはない」ということは成り立たないならそれは訝しい
事実18: この晩酌は活動領域である
事実19: 仮にこの晩酌が説くとしたら張り切り過ぎるということはないかあるいは下がれるかあるいはどちらもだ
事実20: もし仮にとある物は着易いならば「秋山記行でないけれど悪賢い」ということは間違いだ

仮説: 「あのバブル発生は秋山記行でない一方で悪賢い」ということは事実でない
1. 仮定1: 以下のように仮定する。あの馬飼いルールは着易くない
2. 事実6と仮定1から、推論1: "「あの馬飼いルールは一型アレルギーであるということはないし雪深くない」ということは間違いである"が導かれる
3. 事実14と事実1から、推論2: "あの馬飼いルールは一型アレルギーでなくて雪深くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの馬飼いルールは着易い"が導かれる
6. 推論4と事実8から、推論5: "この晩酌は悪賢い"が導かれる
7. 推論5と事実16から、仮説が否定される

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