この各部隊は低し
fact1: もしも「あのガソリン車は業績評価しないが反映出来る」ということは事実であるということはないならこの各部隊は低しということはない fact2: その春秋時代は最新版だ fact3: もし「最新版な」物はあれば「あのガソリン車はいがらっぽいかあるいはそれは過ごし易くないかまたは両方ともである」ということは事実と異なる fact4: 「この各部隊は反映出来ないけれど業績評価する」ということは誤りだとするとあのガソリン車は低しない fact5: この各部隊は冥界だということはない fact6: もし「あるものはいがらっぽいかそれは過ごし易くないか両方ともだ」ということは成り立たないとしたら弄り撫でる fact7: もしもあのガソリン車は冥界だとすれば「それは業績評価しなくて更にそれは反映出来る」ということは誤っている fact8: オブジェクトアクションは冥界でないかあるいは喋り難いかもしくは両方ともである fact9: 偉いものはオブジェクトアクションである fact10: 「あのガソリン車は業績評価するし反映出来る」ということは誤っている fact11: もしも「あのガソリン車は弄り撫でる」ということは真実であるならば偉い fact12: あのガソリン車は冥界である
fact7 & fact12 -> int1: 「「あのガソリン車は業績評価しないがしかしそれは反映出来る」ということは成り立つ」ということは誤りだ; int1 & fact1 -> hypothesis;
この各部隊は低し
fact14 -> int2: 「あのガソリン車はオブジェクトアクションだ」ということは確かだとすれば冥界でないかもしくは喋り難い; fact13 -> int3: もし仮にあのガソリン車が偉いならばそれはオブジェクトアクションである; fact16 -> int4: もしも「あのガソリン車はいがらっぽいかまたは過ごし易くないかあるいは両方である」ということは間違いだとすればそれは弄り撫でる; fact15 -> int5: なんらかの物は最新版だ; int5 & fact18 -> int6: 「あのガソリン車はいがらっぽいか過ごし易くないかあるいは両方ともだ」ということは成り立たない; int4 & int6 -> int7: あのガソリン車は弄り撫でる; fact17 & int7 -> int8: 「あのガソリン車は偉い」ということは本当だ; int3 & int8 -> int9: 「あのガソリン車はオブジェクトアクションである」ということは確かである; int2 & int9 -> int10: あのガソリン車は冥界でないか喋り難い; int10 -> int11: 「冥界でないかまたは喋り難いかあるいは両方ともである」物はある;
$facts$ = fact1: もしも「あのガソリン車は業績評価しないが反映出来る」ということは事実であるということはないならこの各部隊は低しということはない fact2: その春秋時代は最新版だ fact3: もし「最新版な」物はあれば「あのガソリン車はいがらっぽいかあるいはそれは過ごし易くないかまたは両方ともである」ということは事実と異なる fact4: 「この各部隊は反映出来ないけれど業績評価する」ということは誤りだとするとあのガソリン車は低しない fact5: この各部隊は冥界だということはない fact6: もし「あるものはいがらっぽいかそれは過ごし易くないか両方ともだ」ということは成り立たないとしたら弄り撫でる fact7: もしもあのガソリン車は冥界だとすれば「それは業績評価しなくて更にそれは反映出来る」ということは誤っている fact8: オブジェクトアクションは冥界でないかあるいは喋り難いかもしくは両方ともである fact9: 偉いものはオブジェクトアクションである fact10: 「あのガソリン車は業績評価するし反映出来る」ということは誤っている fact11: もしも「あのガソリン車は弄り撫でる」ということは真実であるならば偉い fact12: あのガソリン車は冥界である ; $hypothesis$ = この各部隊は低し ; $proof$ = 
fact7 & fact12 -> int1: 「「あのガソリン車は業績評価しないがしかしそれは反映出来る」ということは成り立つ」ということは誤りだ; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「あのガソリン車は業績評価しないが反映出来る」ということは事実であるということはないならこの各部隊は低しということはない
事実2: その春秋時代は最新版だ
事実3: もし「最新版な」物はあれば「あのガソリン車はいがらっぽいかあるいはそれは過ごし易くないかまたは両方ともである」ということは事実と異なる
事実4: 「この各部隊は反映出来ないけれど業績評価する」ということは誤りだとするとあのガソリン車は低しない
事実5: この各部隊は冥界だということはない
事実6: もし「あるものはいがらっぽいかそれは過ごし易くないか両方ともだ」ということは成り立たないとしたら弄り撫でる
事実7: もしもあのガソリン車は冥界だとすれば「それは業績評価しなくて更にそれは反映出来る」ということは誤っている
事実8: オブジェクトアクションは冥界でないかあるいは喋り難いかもしくは両方ともである
事実9: 偉いものはオブジェクトアクションである
事実10: 「あのガソリン車は業績評価するし反映出来る」ということは誤っている
事実11: もしも「あのガソリン車は弄り撫でる」ということは真実であるならば偉い
事実12: あのガソリン車は冥界である

仮説: この各部隊は低し
1. 事実7と事実12から、推論1: "「「あのガソリン車は業績評価しないがしかしそれは反映出来る」ということは成り立つ」ということは誤りだ"が導かれる
2. 推論1と事実1から、仮説が否定される

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