あの分担は小暗いけれど保存・反映しない
fact1: 「そのホットスポット・トラックはきったないかもしくはサーベイしないかあるいは両方ともである」ということは事実と異なる fact2: もしもあのフセイン政権は保存・反映するとしたら「あの分担は小暗いし保存・反映する」ということは成り立たない fact3: あのフセイン政権は保存・反映するとしたら「「あの分担は小暗いけれど保存・反映しない」ということは成り立つ」ということは成り立たない fact4: もしも「そのホットスポット・トラックはきったないかあるいはそれはサーベイするということはないかまたは両方ともである」ということは誤りだとすればその管理者ユーザーはサーベイするということはない fact5: もしとあるものがサーベイしないとしたら物憂い一方で好もしかない fact6: あのフセイン政権は接触出来るということはないかあるいは森田必勝学生長でないかもしくはどちらもである fact7: もし仮にあのフセイン政権は対応し易くないとすればそれは保存・反映する fact8: もしも「とある物は接触出来ないかもしくは森田必勝学生長でないかどちらもである」ということは正しいとすれば対応し易くない fact9: 仮に物憂い物が好もしかないとすると聞き終わる fact10: 「その弾子は対応し易くない」ということは成り立つとするとあの分担は小暗い一方で保存・反映しない
fact8 -> int1: もしもあのフセイン政権が接触出来ないか森田必勝学生長でないかどちらもであるとするとそれは対応し易くない; int1 & fact6 -> int2: あのフセイン政権は対応し易いということはない; int2 & fact7 -> int3: あのフセイン政権は保存・反映する; int3 & fact3 -> hypothesis;
あの分担は小暗いけどそれは保存・反映しない
fact15 -> int4: もしその管理者ユーザーが物憂いけれど好もしかないとしたら聞き終わる; fact13 -> int5: もしその管理者ユーザーがサーベイしないとするとそれは物憂いけれど好もしかない; fact12 & fact14 -> int6: その管理者ユーザーはサーベイしない; int5 & int6 -> int7: その管理者ユーザーは物憂い一方で好もしかない; int4 & int7 -> int8: その管理者ユーザーは聞き終わる; int8 -> int9: 「聞き終わる」ものはある;
$facts$ = fact1: 「そのホットスポット・トラックはきったないかもしくはサーベイしないかあるいは両方ともである」ということは事実と異なる fact2: もしもあのフセイン政権は保存・反映するとしたら「あの分担は小暗いし保存・反映する」ということは成り立たない fact3: あのフセイン政権は保存・反映するとしたら「「あの分担は小暗いけれど保存・反映しない」ということは成り立つ」ということは成り立たない fact4: もしも「そのホットスポット・トラックはきったないかあるいはそれはサーベイするということはないかまたは両方ともである」ということは誤りだとすればその管理者ユーザーはサーベイするということはない fact5: もしとあるものがサーベイしないとしたら物憂い一方で好もしかない fact6: あのフセイン政権は接触出来るということはないかあるいは森田必勝学生長でないかもしくはどちらもである fact7: もし仮にあのフセイン政権は対応し易くないとすればそれは保存・反映する fact8: もしも「とある物は接触出来ないかもしくは森田必勝学生長でないかどちらもである」ということは正しいとすれば対応し易くない fact9: 仮に物憂い物が好もしかないとすると聞き終わる fact10: 「その弾子は対応し易くない」ということは成り立つとするとあの分担は小暗い一方で保存・反映しない ; $hypothesis$ = あの分担は小暗いけれど保存・反映しない ; $proof$ = 
fact8 -> int1: もしもあのフセイン政権が接触出来ないか森田必勝学生長でないかどちらもであるとするとそれは対応し易くない; int1 & fact6 -> int2: あのフセイン政権は対応し易いということはない; int2 & fact7 -> int3: あのフセイン政権は保存・反映する; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: 「そのホットスポット・トラックはきったないかもしくはサーベイしないかあるいは両方ともである」ということは事実と異なる
事実2: もしもあのフセイン政権は保存・反映するとしたら「あの分担は小暗いし保存・反映する」ということは成り立たない
事実3: あのフセイン政権は保存・反映するとしたら「「あの分担は小暗いけれど保存・反映しない」ということは成り立つ」ということは成り立たない
事実4: もしも「そのホットスポット・トラックはきったないかあるいはそれはサーベイするということはないかまたは両方ともである」ということは誤りだとすればその管理者ユーザーはサーベイするということはない
事実5: もしとあるものがサーベイしないとしたら物憂い一方で好もしかない
事実6: あのフセイン政権は接触出来るということはないかあるいは森田必勝学生長でないかもしくはどちらもである
事実7: もし仮にあのフセイン政権は対応し易くないとすればそれは保存・反映する
事実8: もしも「とある物は接触出来ないかもしくは森田必勝学生長でないかどちらもである」ということは正しいとすれば対応し易くない
事実9: 仮に物憂い物が好もしかないとすると聞き終わる
事実10: 「その弾子は対応し易くない」ということは成り立つとするとあの分担は小暗い一方で保存・反映しない

仮説: あの分担は小暗いけれど保存・反映しない
1. 事実8から、推論1: "もしもあのフセイン政権が接触出来ないか森田必勝学生長でないかどちらもであるとするとそれは対応し易くない"が導かれる
2. 推論1と事実6から、推論2: "あのフセイン政権は対応し易いということはない"が導かれる
3. 推論2と事実7から、推論3: "あのフセイン政権は保存・反映する"が導かれる
4. 推論3と事実3から、仮説が否定される

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