そのＧＲＰは能力主義管理でない
fact1: もし「その代表値は労しない」ということは正しいならこの本郷計画は代表するし購読だ fact2: それは工事期間であるし加えてそれは分かち難くないという物はない fact3: もしもとある物は能力主義管理であるとしたら「それは決定方法でないししかも骨っぽくない」ということは偽だ fact4: もし「この二頭筋は能力主義管理だ」ということは正しいとすると「あの酸化作用は能力主義管理である」ということは事実である fact5: もしも「「元来たる一方で代表しない」ということは成り立たない」物はあるとしたら「この本郷計画は元来たるない」ということは成り立つ fact6: あの航空工学は外国銀行である fact7: もしもあの航空工学は教材化しないとしたら「その代表値は購読であるし労する」ということは成り立たない fact8: もし仮に「なんらかの物が購読だしそれは労する」ということは偽だとすると購読でない fact9: あの航空工学は外国銀行なら「それは敵中深くなくてそれにすばしっこい」ということは成り立つということはない fact10: もしもとある物は元来たるということはないとすれば「この二頭筋は能力主義管理だ」ということは真実である fact11: それは末梢骨片でなくてかつ白っぽくないという物はない fact12: もしも「なにがしかのものは末梢骨片でなくて白っぽくない」ということは誤っているとするとそれは能力主義管理である fact13: もし仮に「あるものは敵中深くないけどすばしっこい」ということは誤っているとすると教材化しない fact14: そのＧＲＰは渡船だ fact15: それはネットワーク技術でないし浅しということはないという物はない fact16: それは末梢骨片でないが白っぽいという物はない fact17: 「そのＧＲＰは御電話しなくてその上末梢骨片でない」ということは嘘である fact18: この本郷計画が代表すればこの二頭筋は能力主義管理でないかあるいはそれは元来たるない fact19: 「下回るということはない一方で切り掛かる」ということは確かだという物はない fact20: 「もし何らかの物は購読でないとすれば「元来たる一方で代表しない」ということは成り立つということはない」ということは事実だ
fact11 -> int1: 「そのＧＲＰは末梢骨片だということはないしおまけに白っぽくない」ということは成り立たない; fact12 -> int2: もし「そのＧＲＰは末梢骨片でないし加えて白っぽくない」ということは真実でないならそれは能力主義管理である; int1 & int2 -> hypothesis;
fact11 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); fact12 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {A}{aa}; int1 & int2 -> hypothesis;
「あの酸化作用は決定方法でないしかつそれは骨っぽいということはない」ということは間違っている
fact30 -> int3: 「あの酸化作用は能力主義管理だ」ということは成り立つとすれば「決定方法でなくて骨っぽくない」ということは偽である; fact29 -> int4: もしその代表値は購読でないならば「元来たるしさらにそれは代表するということはない」ということは成り立たない; fact24 -> int5: もし仮に「その代表値は購読だしその上労する」ということは成り立たないとしたらそれは購読でない; fact27 -> int6: 「あの航空工学は敵中深くないけどすばしっこい」ということは成り立たないとしたらそれは教材化しない; fact21 & fact28 -> int7: 「あの航空工学は敵中深くないがすばしっこい」ということは誤りである; int6 & int7 -> int8: あの航空工学は教材化しない; fact26 & int8 -> int9: 「その代表値が購読だしまた労する」ということは成り立たない; int5 & int9 -> int10: その代表値は購読でない; int4 & int10 -> int11: 「その代表値は元来たるけれど代表しない」ということは正しくない; int11 -> int12: 「「元来たる一方で代表するということはない」ということは偽である」物はある; int12 & fact25 -> int13: この本郷計画は元来たるということはない; int13 -> int14: 何らかの物は元来たるということはない; int14 & fact22 -> int15: この二頭筋は能力主義管理だ; fact23 & int15 -> int16: あの酸化作用は能力主義管理だ; int3 & int16 -> hypothesis;
$facts$ = fact1: もし「その代表値は労しない」ということは正しいならこの本郷計画は代表するし購読だ fact2: それは工事期間であるし加えてそれは分かち難くないという物はない fact3: もしもとある物は能力主義管理であるとしたら「それは決定方法でないししかも骨っぽくない」ということは偽だ fact4: もし「この二頭筋は能力主義管理だ」ということは正しいとすると「あの酸化作用は能力主義管理である」ということは事実である fact5: もしも「「元来たる一方で代表しない」ということは成り立たない」物はあるとしたら「この本郷計画は元来たるない」ということは成り立つ fact6: あの航空工学は外国銀行である fact7: もしもあの航空工学は教材化しないとしたら「その代表値は購読であるし労する」ということは成り立たない fact8: もし仮に「なんらかの物が購読だしそれは労する」ということは偽だとすると購読でない fact9: あの航空工学は外国銀行なら「それは敵中深くなくてそれにすばしっこい」ということは成り立つということはない fact10: もしもとある物は元来たるということはないとすれば「この二頭筋は能力主義管理だ」ということは真実である fact11: それは末梢骨片でなくてかつ白っぽくないという物はない fact12: もしも「なにがしかのものは末梢骨片でなくて白っぽくない」ということは誤っているとするとそれは能力主義管理である fact13: もし仮に「あるものは敵中深くないけどすばしっこい」ということは誤っているとすると教材化しない fact14: そのＧＲＰは渡船だ fact15: それはネットワーク技術でないし浅しということはないという物はない fact16: それは末梢骨片でないが白っぽいという物はない fact17: 「そのＧＲＰは御電話しなくてその上末梢骨片でない」ということは嘘である fact18: この本郷計画が代表すればこの二頭筋は能力主義管理でないかあるいはそれは元来たるない fact19: 「下回るということはない一方で切り掛かる」ということは確かだという物はない fact20: 「もし何らかの物は購読でないとすれば「元来たる一方で代表しない」ということは成り立つということはない」ということは事実だ ; $hypothesis$ = そのＧＲＰは能力主義管理でない ; $proof$ = 
fact11 -> int1: 「そのＧＲＰは末梢骨片だということはないしおまけに白っぽくない」ということは成り立たない; fact12 -> int2: もし「そのＧＲＰは末梢骨片でないし加えて白っぽくない」ということは真実でないならそれは能力主義管理である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「その代表値は労しない」ということは正しいならこの本郷計画は代表するし購読だ
事実2: それは工事期間であるし加えてそれは分かち難くないという物はない
事実3: もしもとある物は能力主義管理であるとしたら「それは決定方法でないししかも骨っぽくない」ということは偽だ
事実4: もし「この二頭筋は能力主義管理だ」ということは正しいとすると「あの酸化作用は能力主義管理である」ということは事実である
事実5: もしも「「元来たる一方で代表しない」ということは成り立たない」物はあるとしたら「この本郷計画は元来たるない」ということは成り立つ
事実6: あの航空工学は外国銀行である
事実7: もしもあの航空工学は教材化しないとしたら「その代表値は購読であるし労する」ということは成り立たない
事実8: もし仮に「なんらかの物が購読だしそれは労する」ということは偽だとすると購読でない
事実9: あの航空工学は外国銀行なら「それは敵中深くなくてそれにすばしっこい」ということは成り立つということはない
事実10: もしもとある物は元来たるということはないとすれば「この二頭筋は能力主義管理だ」ということは真実である
事実11: それは末梢骨片でなくてかつ白っぽくないという物はない
事実12: もしも「なにがしかのものは末梢骨片でなくて白っぽくない」ということは誤っているとするとそれは能力主義管理である
事実13: もし仮に「あるものは敵中深くないけどすばしっこい」ということは誤っているとすると教材化しない
事実14: そのＧＲＰは渡船だ
事実15: それはネットワーク技術でないし浅しということはないという物はない
事実16: それは末梢骨片でないが白っぽいという物はない
事実17: 「そのＧＲＰは御電話しなくてその上末梢骨片でない」ということは嘘である
事実18: この本郷計画が代表すればこの二頭筋は能力主義管理でないかあるいはそれは元来たるない
事実19: 「下回るということはない一方で切り掛かる」ということは確かだという物はない
事実20: 「もし何らかの物は購読でないとすれば「元来たる一方で代表しない」ということは成り立つということはない」ということは事実だ

仮説: そのＧＲＰは能力主義管理でない
1. 事実11から、推論1: "「そのＧＲＰは末梢骨片だということはないしおまけに白っぽくない」ということは成り立たない"が導かれる
2. 事実12から、推論2: "もし「そのＧＲＰは末梢骨片でないし加えて白っぽくない」ということは真実でないならそれは能力主義管理である"が導かれる
3. 推論1と推論2から、仮説が否定される

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