「このコルトＭは掘削するし単調増加する」ということは成り立つということはない
fact1: 何らかのものは蒼みがからないとすると「掘削するし加えて単調増加する」ということは正しくない fact2: もし仮に「なんらかの物は誇りっぽいということはないが計らう」ということは成り立つということはないとしたらそれは蒼みがかる fact3: 仮にこのコルトＭは天狗らしくないけど誇りっぽいとすればそれは掘削する fact4: もしも何らかの物は蒼みがかるとしたら「財政状況であるということはなくて寂しい」ということは間違っている fact5: 「このコルトＭは財政状況であるということはないが寂しい」ということは偽であるとすれば計らわない fact6: 仮にこの御神水が単調増加しないとしたらそれは掘削するし天狗らしいということはない fact7: 仮にこのエリート層が熱いかまたはそれは連発するかまたは両方であるならば天狗らしくない fact8: この戦国大名後は単調増加する fact9: もしもこのコルトＭが計らわないとすると天狗らしくない fact10: 「このコルトＭは天狗らしくない」ということは正しい fact11: もしもとある物は蒼みがかれば「それはフェライトでないけれど久し振りだ」ということは事実でない fact12: もしもこの御神水が計らうし蒼みがかるとすると「このコルトＭは蒼みがからない」ということは正しい fact13: もしもこのコルトＭが寂しかないとすればそれは計らうということはない fact14: このコルトＭは蒼みがかる fact15: もし仮にこのコルトＭが天狗らしいしその上誇りっぽいとすれば掘削する fact16: このコルトＭは単調増加する fact17: もしもとある物が計らわないとしたらそれは天狗らしくないけど誇りっぽい
fact4 -> int1: 「このコルトＭは蒼みがからない」ということは成り立つということはないとすると「財政状況でないが寂しい」ということは偽である; int1 & fact14 -> int2: 「このコルトＭは財政状況でないがしかしそれは寂しい」ということは偽である; int2 & fact5 -> int3: このコルトＭは計らわない; fact17 -> int4: もしこのコルトＭが計らうということはないならば天狗らしくないけど誇りっぽい; int3 & int4 -> int5: このコルトＭは天狗らしくないけれどそれは誇りっぽい; int5 & fact3 -> int6: このコルトＭは掘削する; int6 & fact16 -> hypothesis;
「このコルトＭは掘削するし単調増加する」ということは確かでない
fact20 -> int7: 仮にこのコルトＭは蒼みがかるということはないなら「掘削するしおまけに単調増加する」ということは成り立つということはない;
$facts$ = fact1: 何らかのものは蒼みがからないとすると「掘削するし加えて単調増加する」ということは正しくない fact2: もし仮に「なんらかの物は誇りっぽいということはないが計らう」ということは成り立つということはないとしたらそれは蒼みがかる fact3: 仮にこのコルトＭは天狗らしくないけど誇りっぽいとすればそれは掘削する fact4: もしも何らかの物は蒼みがかるとしたら「財政状況であるということはなくて寂しい」ということは間違っている fact5: 「このコルトＭは財政状況であるということはないが寂しい」ということは偽であるとすれば計らわない fact6: 仮にこの御神水が単調増加しないとしたらそれは掘削するし天狗らしいということはない fact7: 仮にこのエリート層が熱いかまたはそれは連発するかまたは両方であるならば天狗らしくない fact8: この戦国大名後は単調増加する fact9: もしもこのコルトＭが計らわないとすると天狗らしくない fact10: 「このコルトＭは天狗らしくない」ということは正しい fact11: もしもとある物は蒼みがかれば「それはフェライトでないけれど久し振りだ」ということは事実でない fact12: もしもこの御神水が計らうし蒼みがかるとすると「このコルトＭは蒼みがからない」ということは正しい fact13: もしもこのコルトＭが寂しかないとすればそれは計らうということはない fact14: このコルトＭは蒼みがかる fact15: もし仮にこのコルトＭが天狗らしいしその上誇りっぽいとすれば掘削する fact16: このコルトＭは単調増加する fact17: もしもとある物が計らわないとしたらそれは天狗らしくないけど誇りっぽい ; $hypothesis$ = 「このコルトＭは掘削するし単調増加する」ということは成り立つということはない ; $proof$ = 
fact4 -> int1: 「このコルトＭは蒼みがからない」ということは成り立つということはないとすると「財政状況でないが寂しい」ということは偽である; int1 & fact14 -> int2: 「このコルトＭは財政状況でないがしかしそれは寂しい」ということは偽である; int2 & fact5 -> int3: このコルトＭは計らわない; fact17 -> int4: もしこのコルトＭが計らうということはないならば天狗らしくないけど誇りっぽい; int3 & int4 -> int5: このコルトＭは天狗らしくないけれどそれは誇りっぽい; int5 & fact3 -> int6: このコルトＭは掘削する; int6 & fact16 -> hypothesis; __DISPROVED__
事実1: 何らかのものは蒼みがからないとすると「掘削するし加えて単調増加する」ということは正しくない
事実2: もし仮に「なんらかの物は誇りっぽいということはないが計らう」ということは成り立つということはないとしたらそれは蒼みがかる
事実3: 仮にこのコルトＭは天狗らしくないけど誇りっぽいとすればそれは掘削する
事実4: もしも何らかの物は蒼みがかるとしたら「財政状況であるということはなくて寂しい」ということは間違っている
事実5: 「このコルトＭは財政状況であるということはないが寂しい」ということは偽であるとすれば計らわない
事実6: 仮にこの御神水が単調増加しないとしたらそれは掘削するし天狗らしいということはない
事実7: 仮にこのエリート層が熱いかまたはそれは連発するかまたは両方であるならば天狗らしくない
事実8: この戦国大名後は単調増加する
事実9: もしもこのコルトＭが計らわないとすると天狗らしくない
事実10: 「このコルトＭは天狗らしくない」ということは正しい
事実11: もしもとある物は蒼みがかれば「それはフェライトでないけれど久し振りだ」ということは事実でない
事実12: もしもこの御神水が計らうし蒼みがかるとすると「このコルトＭは蒼みがからない」ということは正しい
事実13: もしもこのコルトＭが寂しかないとすればそれは計らうということはない
事実14: このコルトＭは蒼みがかる
事実15: もし仮にこのコルトＭが天狗らしいしその上誇りっぽいとすれば掘削する
事実16: このコルトＭは単調増加する
事実17: もしもとある物が計らわないとしたらそれは天狗らしくないけど誇りっぽい

仮説: 「このコルトＭは掘削するし単調増加する」ということは成り立つということはない
1. 事実4から、推論1: "「このコルトＭは蒼みがからない」ということは成り立つということはないとすると「財政状況でないが寂しい」ということは偽である"が導かれる
2. 推論1と事実14から、推論2: "「このコルトＭは財政状況でないがしかしそれは寂しい」ということは偽である"が導かれる
3. 推論2と事実5から、推論3: "このコルトＭは計らわない"が導かれる
4. 事実17から、推論4: "もしこのコルトＭが計らうということはないならば天狗らしくないけど誇りっぽい"が導かれる
5. 推論3と推論4から、推論5: "このコルトＭは天狗らしくないけれどそれは誇りっぽい"が導かれる
6. 推論5と事実3から、推論6: "このコルトＭは掘削する"が導かれる
7. 推論6と事実16から、仮説が否定される

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