あの言語学者は就学前でない
fact1: その冷ややかさは開け抜けるということはない fact2: もしその冷ややかさが旗幟だとすればそのピンポイントは開け抜ける fact3: 何らかのものは加重平均するとすると「旗幟だけど精進するということはない」ということは偽だ fact4: 仮にこの上流部分が精進すればその冷ややかさは精進しないしその上開け抜けない fact5: 「仮にこの上流部分が加重平均するとするとあの言語学者は加重平均する」ということは確かである fact6: もしもその冷ややかさが滾るということはないとするとこの上流部分は加重平均するし更に理屈っぽい fact7: もしもこの上流部分が開け抜けないしそれが主張し出すということはないとすればあのピンポイントは旗幟だ fact8: もし仮にその冷ややかさが精進しないが開け抜けるとするとそのピンポイントは旗幟である fact9: この上流部分は主張し出すけどそれは賢しない fact10: この上流部分は主張し出す fact11: 「とあるものは旗幟であるが精進するということはない」ということは誤っていればそれは開け抜けない fact12: その冷ややかさが精進しなくてまた開け抜けないとするとそのピンポイントは旗幟である fact13: もし仮にこの上流部分は主張し出すが賢しということはないとすればそれは精進する fact14: もし「そのピンポイントは旗幟である」ということは真実だとしたらあの言語学者は就学前である fact15: もしこの上流部分は精進するとしたら「その冷ややかさは開け抜けない」ということは成り立つ fact16: 仮に何かは開け抜けないとしたらそれは就学前だということはない
fact13 & fact9 -> int1: この上流部分は精進する; int1 & fact4 -> int2: その冷ややかさは精進しなくて開け抜けない; int2 & fact12 -> int3: そのピンポイントは旗幟である; int3 & fact14 -> hypothesis;
あの言語学者は就学前でない
fact17 -> int4: 仮にあの言語学者が開け抜けるということはないとしたら就学前でない; fact21 -> int5: 「あの言語学者は旗幟だが精進しない」ということは間違っているとするとそれは開け抜けない; fact18 -> int6: もしあの言語学者は加重平均するとすると「旗幟だしそれにそれは精進しない」ということは間違っている;
$facts$ = fact1: その冷ややかさは開け抜けるということはない fact2: もしその冷ややかさが旗幟だとすればそのピンポイントは開け抜ける fact3: 何らかのものは加重平均するとすると「旗幟だけど精進するということはない」ということは偽だ fact4: 仮にこの上流部分が精進すればその冷ややかさは精進しないしその上開け抜けない fact5: 「仮にこの上流部分が加重平均するとするとあの言語学者は加重平均する」ということは確かである fact6: もしもその冷ややかさが滾るということはないとするとこの上流部分は加重平均するし更に理屈っぽい fact7: もしもこの上流部分が開け抜けないしそれが主張し出すということはないとすればあのピンポイントは旗幟だ fact8: もし仮にその冷ややかさが精進しないが開け抜けるとするとそのピンポイントは旗幟である fact9: この上流部分は主張し出すけどそれは賢しない fact10: この上流部分は主張し出す fact11: 「とあるものは旗幟であるが精進するということはない」ということは誤っていればそれは開け抜けない fact12: その冷ややかさが精進しなくてまた開け抜けないとするとそのピンポイントは旗幟である fact13: もし仮にこの上流部分は主張し出すが賢しということはないとすればそれは精進する fact14: もし「そのピンポイントは旗幟である」ということは真実だとしたらあの言語学者は就学前である fact15: もしこの上流部分は精進するとしたら「その冷ややかさは開け抜けない」ということは成り立つ fact16: 仮に何かは開け抜けないとしたらそれは就学前だということはない ; $hypothesis$ = あの言語学者は就学前でない ; $proof$ = 
fact13 & fact9 -> int1: この上流部分は精進する; int1 & fact4 -> int2: その冷ややかさは精進しなくて開け抜けない; int2 & fact12 -> int3: そのピンポイントは旗幟である; int3 & fact14 -> hypothesis; __DISPROVED__
事実1: その冷ややかさは開け抜けるということはない
事実2: もしその冷ややかさが旗幟だとすればそのピンポイントは開け抜ける
事実3: 何らかのものは加重平均するとすると「旗幟だけど精進するということはない」ということは偽だ
事実4: 仮にこの上流部分が精進すればその冷ややかさは精進しないしその上開け抜けない
事実5: 「仮にこの上流部分が加重平均するとするとあの言語学者は加重平均する」ということは確かである
事実6: もしもその冷ややかさが滾るということはないとするとこの上流部分は加重平均するし更に理屈っぽい
事実7: もしもこの上流部分が開け抜けないしそれが主張し出すということはないとすればあのピンポイントは旗幟だ
事実8: もし仮にその冷ややかさが精進しないが開け抜けるとするとそのピンポイントは旗幟である
事実9: この上流部分は主張し出すけどそれは賢しない
事実10: この上流部分は主張し出す
事実11: 「とあるものは旗幟であるが精進するということはない」ということは誤っていればそれは開け抜けない
事実12: その冷ややかさが精進しなくてまた開け抜けないとするとそのピンポイントは旗幟である
事実13: もし仮にこの上流部分は主張し出すが賢しということはないとすればそれは精進する
事実14: もし「そのピンポイントは旗幟である」ということは真実だとしたらあの言語学者は就学前である
事実15: もしこの上流部分は精進するとしたら「その冷ややかさは開け抜けない」ということは成り立つ
事実16: 仮に何かは開け抜けないとしたらそれは就学前だということはない

仮説: あの言語学者は就学前でない
1. 事実13と事実9から、推論1: "この上流部分は精進する"が導かれる
2. 推論1と事実4から、推論2: "その冷ややかさは精進しなくて開け抜けない"が導かれる
3. 推論2と事実12から、推論3: "そのピンポイントは旗幟である"が導かれる
4. 推論3と事実14から、仮説が否定される

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