その海浜は成り行き任せだがしかし控除出来ない
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: 「そのアイレベルは程無い一方で解しない」ということは成り立つということはない
fact24 & fact7 -> int1: このＭさんは解する; int1 & fact22 -> int2: その海浜は手掛け始める; fact1 -> int3: 仮にその海浜が手掛け始めれば単位長さ当たりだ; int2 & int3 -> int4: 「その海浜は単位長さ当たりである」ということは本当だ; fact9 -> int5: もしその海浜は単位長さ当たりであるとすると「成り行き任せであるけれど控除出来るということはない」ということは誤っている; int4 & int5 -> hypothesis;
その海浜は成り行き任せだけれど控除出来るということはない
fact40 -> int6: このＭさんは焼却炉でないならそれは手掛け始めない; fact32 & fact39 -> int7: この零．一は抗議する; fact37 & int7 -> int8: この零．一は全力投球しないけれど其れらしい; int8 -> int9: この零．一は全力投球するということはない; fact26 & int9 -> int10: 「あの二百四十×三百二十ピクセルは怒りっぽいけれどそれは焼却炉でない」ということは間違いだ; int10 & fact35 -> int11: このＭさんは焼却炉だということはない; int6 & int11 -> int12: このＭさんは手掛け始めない; fact34 -> int13: 「その遠眼鏡は私立高校であるししかもそれは滞り易い」ということは間違いなら集中しない; fact38 -> int14: もし仮にその遠眼鏡は引用しないとすれば「「私立高校であるしかつ滞り易い」ということは事実だ」ということは成り立つということはない; int14 & fact30 -> int15: 「その遠眼鏡は私立高校でしかも滞り易い」ということは成り立たない; int13 & int15 -> int16: その遠眼鏡は集中しない; int16 & fact28 -> int17: 「このＱ社は蔑むし暴力団員である」ということは成り立つということはない; int17 & fact36 -> int18: このＭさんは単位長さ当たりでない; int12 & int18 -> int19: このＭさんは手掛け始めないしその上単位長さ当たりでない; int19 & fact31 -> int20: このＵＮＡは手掛け始めない; fact27 -> int21: もし仮にこのＵＮＡが手掛け始めないとすればそれは成り行き任せであるかまたはそれは解するかあるいは両方である; int20 & int21 -> int22: このＵＮＡは成り行き任せであるか解するかもしくはどちらもだ; fact41 & fact29 & int22 -> int23: その海浜は成り行き任せだ; fact33 -> int24: 「もし仮にこのテレビ画面が涙ぐましいということはないとすればこのテレビ画面は皮肉めくが控除出来ない」ということは真実だ;
$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$ = 
fact24 & fact7 -> int1: このＭさんは解する; int1 & fact22 -> int2: その海浜は手掛け始める; fact1 -> int3: 仮にその海浜が手掛け始めれば単位長さ当たりだ; int2 & int3 -> int4: 「その海浜は単位長さ当たりである」ということは本当だ; fact9 -> int5: もしその海浜は単位長さ当たりであるとすると「成り行き任せであるけれど控除出来るということはない」ということは誤っている; int4 & int5 -> 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. 事実24と事実7から、推論1: "このＭさんは解する"が導かれる
2. 推論1と事実22から、推論2: "その海浜は手掛け始める"が導かれる
3. 事実1から、推論3: "仮にその海浜が手掛け始めれば単位長さ当たりだ"が導かれる
4. 推論2と推論3から、推論4: "「その海浜は単位長さ当たりである」ということは本当だ"が導かれる
5. 事実9から、推論5: "もしその海浜は単位長さ当たりであるとすると「成り行き任せであるけれど控除出来るということはない」ということは誤っている"が導かれる
6. 推論4と推論5から、仮説が否定される

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