あのＰＧＴはおっきい
fact1: この初等中等教育は業績評価する fact2: 「「忘却しないし偉い」ということは本当でない」物はある fact3: もし仮に「その水素原子は可愛いけど抜剣するということはない」ということは成り立つということはないならその豪農は絶滅する fact4: そのネット上は柔らかくないなら「その水素原子は可愛いけど抜剣しない」ということは偽だ fact5: その豪農は業績評価する fact6: 仮にその第三軌条式は可愛いとしたら「それは抜剣しなくて柔らかくない」ということは成り立たない fact7: あるものは弾き易いししかも仰々しいとすると生易しいということはない fact8: もしもその豪農は業績評価すれば「それは弾き易いが仰々しくない」ということは真実である fact9: もし仮にその豪農が業績評価するとすればそれは仰々しいということはない fact10: もしその第三軌条式が生易しくないしそれが絶滅しないとすれば可愛い fact11: もしもその第三軌条式が追い落とすとしたらそのネット上はアイドリングでないし追い落とさない fact12: もしその水素原子が抜剣するとするとそのネット上は追い落とさなくて抜剣しない fact13: もしその豪農が絶滅するがしかし生易しくないならあのＰＧＴは茅・馬草だ fact14: その第三軌条式は柔らかい fact15: もしもその第三軌条式が追い落とすとすればそのネット上は追い落とすということはない fact16: もし仮に「「忘却しないしそれに偉い」ということは誤っている」ものがあるとしたらその第三軌条式は追い落とす fact17: もしもなにがしかのものはアイドリングでないし追い落とさないとしたら柔らかいということはない fact18: もし仮に弾き易い物が仰々しくないとすれば生易しくない fact19: 茅・馬草はおっきい
fact2 & fact16 -> int1: その第三軌条式は追い落とす; int1 & fact11 -> int2: そのネット上はアイドリングであるということはないししかも追い落とすということはない; fact17 -> int3: もし仮にそのネット上がアイドリングでなくて追い落とさないとしたら柔らかいということはない; int2 & int3 -> int4: そのネット上は柔らかくない; int4 & fact4 -> int5: 「その水素原子は可愛い一方でそれは抜剣しない」ということは成り立たない; int5 & fact3 -> int6: その豪農は絶滅する; fact18 -> int7: もし仮にその豪農は弾き易いがしかし仰々しくないならば生易しくない; fact8 & fact5 -> int8: その豪農は弾き易いけれど仰々しくない; int7 & int8 -> int9: その豪農は生易しくない; int6 & int9 -> int10: その豪農は絶滅するがしかし生易しくない; int10 & fact13 -> int11: あのＰＧＴは茅・馬草だ; fact19 -> int12: 仮にあのＰＧＴが茅・馬草だとするとおっきい; int11 & int12 -> hypothesis;
あのＰＧＴはおっきくない
$facts$ = fact1: この初等中等教育は業績評価する fact2: 「「忘却しないし偉い」ということは本当でない」物はある fact3: もし仮に「その水素原子は可愛いけど抜剣するということはない」ということは成り立つということはないならその豪農は絶滅する fact4: そのネット上は柔らかくないなら「その水素原子は可愛いけど抜剣しない」ということは偽だ fact5: その豪農は業績評価する fact6: 仮にその第三軌条式は可愛いとしたら「それは抜剣しなくて柔らかくない」ということは成り立たない fact7: あるものは弾き易いししかも仰々しいとすると生易しいということはない fact8: もしもその豪農は業績評価すれば「それは弾き易いが仰々しくない」ということは真実である fact9: もし仮にその豪農が業績評価するとすればそれは仰々しいということはない fact10: もしその第三軌条式が生易しくないしそれが絶滅しないとすれば可愛い fact11: もしもその第三軌条式が追い落とすとしたらそのネット上はアイドリングでないし追い落とさない fact12: もしその水素原子が抜剣するとするとそのネット上は追い落とさなくて抜剣しない fact13: もしその豪農が絶滅するがしかし生易しくないならあのＰＧＴは茅・馬草だ fact14: その第三軌条式は柔らかい fact15: もしもその第三軌条式が追い落とすとすればそのネット上は追い落とすということはない fact16: もし仮に「「忘却しないしそれに偉い」ということは誤っている」ものがあるとしたらその第三軌条式は追い落とす fact17: もしもなにがしかのものはアイドリングでないし追い落とさないとしたら柔らかいということはない fact18: もし仮に弾き易い物が仰々しくないとすれば生易しくない fact19: 茅・馬草はおっきい ; $hypothesis$ = あのＰＧＴはおっきい ; $proof$ = 
fact2 & fact16 -> int1: その第三軌条式は追い落とす; int1 & fact11 -> int2: そのネット上はアイドリングであるということはないししかも追い落とすということはない; fact17 -> int3: もし仮にそのネット上がアイドリングでなくて追い落とさないとしたら柔らかいということはない; int2 & int3 -> int4: そのネット上は柔らかくない; int4 & fact4 -> int5: 「その水素原子は可愛い一方でそれは抜剣しない」ということは成り立たない; int5 & fact3 -> int6: その豪農は絶滅する; fact18 -> int7: もし仮にその豪農は弾き易いがしかし仰々しくないならば生易しくない; fact8 & fact5 -> int8: その豪農は弾き易いけれど仰々しくない; int7 & int8 -> int9: その豪農は生易しくない; int6 & int9 -> int10: その豪農は絶滅するがしかし生易しくない; int10 & fact13 -> int11: あのＰＧＴは茅・馬草だ; fact19 -> int12: 仮にあのＰＧＴが茅・馬草だとするとおっきい; int11 & int12 -> hypothesis; __PROVED__
事実1: この初等中等教育は業績評価する
事実2: 「「忘却しないし偉い」ということは本当でない」物はある
事実3: もし仮に「その水素原子は可愛いけど抜剣するということはない」ということは成り立つということはないならその豪農は絶滅する
事実4: そのネット上は柔らかくないなら「その水素原子は可愛いけど抜剣しない」ということは偽だ
事実5: その豪農は業績評価する
事実6: 仮にその第三軌条式は可愛いとしたら「それは抜剣しなくて柔らかくない」ということは成り立たない
事実7: あるものは弾き易いししかも仰々しいとすると生易しいということはない
事実8: もしもその豪農は業績評価すれば「それは弾き易いが仰々しくない」ということは真実である
事実9: もし仮にその豪農が業績評価するとすればそれは仰々しいということはない
事実10: もしその第三軌条式が生易しくないしそれが絶滅しないとすれば可愛い
事実11: もしもその第三軌条式が追い落とすとしたらそのネット上はアイドリングでないし追い落とさない
事実12: もしその水素原子が抜剣するとするとそのネット上は追い落とさなくて抜剣しない
事実13: もしその豪農が絶滅するがしかし生易しくないならあのＰＧＴは茅・馬草だ
事実14: その第三軌条式は柔らかい
事実15: もしもその第三軌条式が追い落とすとすればそのネット上は追い落とすということはない
事実16: もし仮に「「忘却しないしそれに偉い」ということは誤っている」ものがあるとしたらその第三軌条式は追い落とす
事実17: もしもなにがしかのものはアイドリングでないし追い落とさないとしたら柔らかいということはない
事実18: もし仮に弾き易い物が仰々しくないとすれば生易しくない
事実19: 茅・馬草はおっきい

仮説: あのＰＧＴはおっきい
1. 事実2と事実16から、推論1: "その第三軌条式は追い落とす"が導かれる
2. 推論1と事実11から、推論2: "そのネット上はアイドリングであるということはないししかも追い落とすということはない"が導かれる
3. 事実17から、推論3: "もし仮にそのネット上がアイドリングでなくて追い落とさないとしたら柔らかいということはない"が導かれる
4. 推論2と推論3から、推論4: "そのネット上は柔らかくない"が導かれる
5. 推論4と事実4から、推論5: "「その水素原子は可愛い一方でそれは抜剣しない」ということは成り立たない"が導かれる
6. 推論5と事実3から、推論6: "その豪農は絶滅する"が導かれる
7. 事実18から、推論7: "もし仮にその豪農は弾き易いがしかし仰々しくないならば生易しくない"が導かれる
8. 事実8と事実5から、推論8: "その豪農は弾き易いけれど仰々しくない"が導かれる
9. 推論7と推論8から、推論9: "その豪農は生易しくない"が導かれる
10. 推論6と推論9から、推論10: "その豪農は絶滅するがしかし生易しくない"が導かれる
11. 推論10と事実13から、推論11: "あのＰＧＴは茅・馬草だ"が導かれる
12. 事実19から、推論12: "仮にあのＰＧＴが茅・馬草だとするとおっきい"が導かれる
13. 推論11と推論12から、仮説が導かれる

よって、仮説が証明されました。