この歯車箱は精緻化する
fact1: もし仮にとあるものが信じ易いかあるいは曲がりくねるならそれは幼しない fact2: あの紙雛型は信じ易い fact3: この歯車箱は黄色っぽい fact4: この歯車箱は曲がりくねるししかも信じ易い fact5: この衣料品店は全微分するしまた進発する fact6: もし仮にとある物が賦活するとすればそれは幼し fact7: もしなんらかのものは幼しかもしくは曲がりくねるならそれは精緻化しない fact8: もしも信じ易い物は曲がりくねらないなら「それは精緻化する」ということは成り立つ fact9: もし「あの垂れ幕は幼し」ということは成り立つとしたら曲がりくねらないし加えてそれは信じ易い fact10: 「あの垂れ幕は賦活しない一方で精緻化する」ということは偽である fact11: このカッターシャツは精緻化する fact12: 「なにかは賦活しないけど精緻化する」ということは成り立たないならばそれは秩序化する fact13: この歯車箱は信じ易い fact14: 幼しものは信じ易いけど曲がりくねらない fact15: もし仮になにがしかの物がアンダーラインであるならその気心は賦活するかもしくは隠匿であるかまたはどちらもである fact16: もしもその気心が賦活するとするとこの歯車箱は賦活する fact17: この歯車箱は佐賀城でない fact18: 仮に「「講義するけれどしょぼくない」ということは間違いである」物はあるとしたら「その子供全員は講義しない」ということは真実だ fact19: もし仮にこの衣料品店は全微分すれば「それは講義するけどしょぼくない」ということは間違っている fact20: なにがしかの物が講義しないならばそれはアンダーラインであるしそれは戒める
fact4 -> int1: この歯車箱は曲がりくねる; int1 -> int2: 「この歯車箱は幼しかもしくは曲がりくねる」ということは成り立つ; fact7 -> int3: 仮にこの歯車箱が幼しかそれは曲がりくねるかまたはどちらもなら精緻化しない; int2 & int3 -> hypothesis;
あの垂れ幕は秩序化するし信じ易い
fact21 -> int4: もし「あの垂れ幕は賦活するということはない一方でそれは精緻化する」ということは成り立たないとしたらそれは秩序化する; int4 & fact22 -> int5: 「あの垂れ幕は秩序化する」ということは本当である;
$facts$ = fact1: もし仮にとあるものが信じ易いかあるいは曲がりくねるならそれは幼しない fact2: あの紙雛型は信じ易い fact3: この歯車箱は黄色っぽい fact4: この歯車箱は曲がりくねるししかも信じ易い fact5: この衣料品店は全微分するしまた進発する fact6: もし仮にとある物が賦活するとすればそれは幼し fact7: もしなんらかのものは幼しかもしくは曲がりくねるならそれは精緻化しない fact8: もしも信じ易い物は曲がりくねらないなら「それは精緻化する」ということは成り立つ fact9: もし「あの垂れ幕は幼し」ということは成り立つとしたら曲がりくねらないし加えてそれは信じ易い fact10: 「あの垂れ幕は賦活しない一方で精緻化する」ということは偽である fact11: このカッターシャツは精緻化する fact12: 「なにかは賦活しないけど精緻化する」ということは成り立たないならばそれは秩序化する fact13: この歯車箱は信じ易い fact14: 幼しものは信じ易いけど曲がりくねらない fact15: もし仮になにがしかの物がアンダーラインであるならその気心は賦活するかもしくは隠匿であるかまたはどちらもである fact16: もしもその気心が賦活するとするとこの歯車箱は賦活する fact17: この歯車箱は佐賀城でない fact18: 仮に「「講義するけれどしょぼくない」ということは間違いである」物はあるとしたら「その子供全員は講義しない」ということは真実だ fact19: もし仮にこの衣料品店は全微分すれば「それは講義するけどしょぼくない」ということは間違っている fact20: なにがしかの物が講義しないならばそれはアンダーラインであるしそれは戒める ; $hypothesis$ = この歯車箱は精緻化する ; $proof$ = 
fact4 -> int1: この歯車箱は曲がりくねる; int1 -> int2: 「この歯車箱は幼しかもしくは曲がりくねる」ということは成り立つ; fact7 -> int3: 仮にこの歯車箱が幼しかそれは曲がりくねるかまたはどちらもなら精緻化しない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にとあるものが信じ易いかあるいは曲がりくねるならそれは幼しない
事実2: あの紙雛型は信じ易い
事実3: この歯車箱は黄色っぽい
事実4: この歯車箱は曲がりくねるししかも信じ易い
事実5: この衣料品店は全微分するしまた進発する
事実6: もし仮にとある物が賦活するとすればそれは幼し
事実7: もしなんらかのものは幼しかもしくは曲がりくねるならそれは精緻化しない
事実8: もしも信じ易い物は曲がりくねらないなら「それは精緻化する」ということは成り立つ
事実9: もし「あの垂れ幕は幼し」ということは成り立つとしたら曲がりくねらないし加えてそれは信じ易い
事実10: 「あの垂れ幕は賦活しない一方で精緻化する」ということは偽である
事実11: このカッターシャツは精緻化する
事実12: 「なにかは賦活しないけど精緻化する」ということは成り立たないならばそれは秩序化する
事実13: この歯車箱は信じ易い
事実14: 幼しものは信じ易いけど曲がりくねらない
事実15: もし仮になにがしかの物がアンダーラインであるならその気心は賦活するかもしくは隠匿であるかまたはどちらもである
事実16: もしもその気心が賦活するとするとこの歯車箱は賦活する
事実17: この歯車箱は佐賀城でない
事実18: 仮に「「講義するけれどしょぼくない」ということは間違いである」物はあるとしたら「その子供全員は講義しない」ということは真実だ
事実19: もし仮にこの衣料品店は全微分すれば「それは講義するけどしょぼくない」ということは間違っている
事実20: なにがしかの物が講義しないならばそれはアンダーラインであるしそれは戒める

仮説: この歯車箱は精緻化する
1. 事実4から、推論1: "この歯車箱は曲がりくねる"が導かれる
2. 推論1から、推論2: "「この歯車箱は幼しかもしくは曲がりくねる」ということは成り立つ"が導かれる
3. 事実7から、推論3: "仮にこの歯車箱が幼しかそれは曲がりくねるかまたはどちらもなら精緻化しない"が導かれる
4. 推論2と推論3から、仮説が否定される

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