この終電は長毛でない
fact1: この終電は預ける fact2: もし仮にこの終電がブラウスでないかあるいはそれは説得でないかもしくは両方であるとすればそれは長毛だ fact3: この大往生は放逐しないかあるいはブラウスだということはないかあるいは両方だ fact4: この箱式石棺はブラウスである fact5: あの途中経過は入り易い fact6: あの到達状況は説得だということはないかまたは測り難くないかあるいはどちらもである fact7: この終電はブラウスでないかまたはそれは説得である fact8: もし仮にあの前夜祭りが湿気易くないとするとあの弁護士等は麗しということはない fact9: この終電はブラウスであるかもしくはそれは説得でないかまたは両方ともだ fact10: この終電はブラウスであるということはないかそれは説得であるということはないか両方ともである fact11: もしもあの弁護士等が麗しないとするとあの人工細胞は竜眼肉であるということはなくてそれは愛らしいということはない fact12: この終電は捻くれる fact13: もし仮になんらかの物が用心深いとしたらそれは長毛でない fact14: 「「評定精度であるしその上味わい尽くさない」ということは成り立たない」物があるとしたらこの腹は長毛であるということはない fact15: あの弁護士等は竜眼肉でないがしかし愛らしい fact16: あの弁護士等は竜眼肉でないとしたら「あの人工細胞は評定精度だけれど味わい尽くさない」ということは成り立つということはない fact17: ちっこいものがあるならこの列Ｂは歌舞伎っぽいかまたは路面でないかもしくはどちらもである fact18: あの途中経過が入り易いとしたらそれはちっこい fact19: 仮にあの人工細胞が竜眼肉だということはないならばあの腹は評定精度であるかあるいは味わい尽くすかあるいはどちらもだ
fact2 & fact10 -> hypothesis;
fact2 & fact10 -> hypothesis;
この終電は長毛であるということはない
fact21 -> int1: もしもこの終電が用心深いとするとそれは長毛でない; fact26 & fact20 -> int2: あの途中経過はちっこい; int2 -> int3: 「ちっこい」ものはある; int3 & fact24 -> int4: この列Ｂは歌舞伎っぽいか路面であるということはない; int4 -> int5: 「歌舞伎っぽいかもしくは路面であるということはないか両方である」物はある;
$facts$ = fact1: この終電は預ける fact2: もし仮にこの終電がブラウスでないかあるいはそれは説得でないかもしくは両方であるとすればそれは長毛だ fact3: この大往生は放逐しないかあるいはブラウスだということはないかあるいは両方だ fact4: この箱式石棺はブラウスである fact5: あの途中経過は入り易い fact6: あの到達状況は説得だということはないかまたは測り難くないかあるいはどちらもである fact7: この終電はブラウスでないかまたはそれは説得である fact8: もし仮にあの前夜祭りが湿気易くないとするとあの弁護士等は麗しということはない fact9: この終電はブラウスであるかもしくはそれは説得でないかまたは両方ともだ fact10: この終電はブラウスであるということはないかそれは説得であるということはないか両方ともである fact11: もしもあの弁護士等が麗しないとするとあの人工細胞は竜眼肉であるということはなくてそれは愛らしいということはない fact12: この終電は捻くれる fact13: もし仮になんらかの物が用心深いとしたらそれは長毛でない fact14: 「「評定精度であるしその上味わい尽くさない」ということは成り立たない」物があるとしたらこの腹は長毛であるということはない fact15: あの弁護士等は竜眼肉でないがしかし愛らしい fact16: あの弁護士等は竜眼肉でないとしたら「あの人工細胞は評定精度だけれど味わい尽くさない」ということは成り立つということはない fact17: ちっこいものがあるならこの列Ｂは歌舞伎っぽいかまたは路面でないかもしくはどちらもである fact18: あの途中経過が入り易いとしたらそれはちっこい fact19: 仮にあの人工細胞が竜眼肉だということはないならばあの腹は評定精度であるかあるいは味わい尽くすかあるいはどちらもだ ; $hypothesis$ = この終電は長毛でない ; $proof$ = 
fact2 & fact10 -> hypothesis; __DISPROVED__
事実1: この終電は預ける
事実2: もし仮にこの終電がブラウスでないかあるいはそれは説得でないかもしくは両方であるとすればそれは長毛だ
事実3: この大往生は放逐しないかあるいはブラウスだということはないかあるいは両方だ
事実4: この箱式石棺はブラウスである
事実5: あの途中経過は入り易い
事実6: あの到達状況は説得だということはないかまたは測り難くないかあるいはどちらもである
事実7: この終電はブラウスでないかまたはそれは説得である
事実8: もし仮にあの前夜祭りが湿気易くないとするとあの弁護士等は麗しということはない
事実9: この終電はブラウスであるかもしくはそれは説得でないかまたは両方ともだ
事実10: この終電はブラウスであるということはないかそれは説得であるということはないか両方ともである
事実11: もしもあの弁護士等が麗しないとするとあの人工細胞は竜眼肉であるということはなくてそれは愛らしいということはない
事実12: この終電は捻くれる
事実13: もし仮になんらかの物が用心深いとしたらそれは長毛でない
事実14: 「「評定精度であるしその上味わい尽くさない」ということは成り立たない」物があるとしたらこの腹は長毛であるということはない
事実15: あの弁護士等は竜眼肉でないがしかし愛らしい
事実16: あの弁護士等は竜眼肉でないとしたら「あの人工細胞は評定精度だけれど味わい尽くさない」ということは成り立つということはない
事実17: ちっこいものがあるならこの列Ｂは歌舞伎っぽいかまたは路面でないかもしくはどちらもである
事実18: あの途中経過が入り易いとしたらそれはちっこい
事実19: 仮にあの人工細胞が竜眼肉だということはないならばあの腹は評定精度であるかあるいは味わい尽くすかあるいはどちらもだ

仮説: この終電は長毛でない
1. 事実2と事実10から、仮説が否定される

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