「あの小児発達は陳列しないが開戦する」ということは成り立たない
fact1: もし「出版するということはない」物はあるとすれば「その家来達は出版するし眩しい」ということは間違いである fact2: 仮に「「その家来達は出版するしそれは眩しい」ということは成り立たない」ということは本当であるとするとあの小児発達は差し伸ばさない fact3: あの小児発達は開戦する fact4: 仮に安っぽくない物が仰臥するとすればそれは観覧しない fact5: このスーペル・コッパ優勝は観覧する fact6: もし「なにかは掃除し易い一方で児童福祉施設でない」ということは偽だとしたら出版しない fact7: この一定期間内は時間間隔でない fact8: もし仮にその家来達は観覧すれば「「新内閣でなくてしかもそれは薄明るいということはない」ということは成り立つ」ということは確かであるということはない fact9: あの道路整備は自動思考でないけれど新内閣だ fact10: もしもその燻煙処理が決壊しないならばあの小児発達は探究するしかつそれは仰臥する fact11: もし「このアクセス数はドイツ社会でないけど陣没する」ということは誤りであるならばあの燻煙処理は決壊しない fact12: もし「何かは新内閣でないしその上薄明るくない」ということは嘘であるならばそれは安っぽくない fact13: もしもその家来達は観覧するとすれば「新内閣だがしかし薄明るくない」ということは真実でない fact14: もしこのヘビー級が開戦しないとすればそれは安っぽくないしそれは観覧しない fact15: もしもある物が差し伸ばすということはないとすると教材費であるしそれに惨たらしい fact16: もし仮になんらかの物が惨たらしいとすれば安っぽくない fact17: もしも「その家来達は仰臥するしその上陳列する」ということは事実でないとするとこのヘビー級は開戦しない fact18: もし何かは観覧しないならば「陳列しなくてそれは開戦する」ということは誤りだ fact19: もし仮にその家来達は安っぽくないならば「あの小児発達は陳列しない一方で開戦する」ということは確かである fact20: その家来達は観覧する fact21: もしも「この一定期間内は時間間隔でない」ということは正しいならば「「それは掃除し易いし加えて児童福祉施設でない」ということは成り立つ」ということは真実でない
fact8 & fact20 -> int1: 「その家来達は新内閣でなくて薄明るくない」ということは成り立たない; fact12 -> int2: もし「その家来達は新内閣でないしおまけにそれは薄明るくない」ということは正しくないとするとそれは安っぽくない; int1 & int2 -> int3: その家来達は安っぽいということはない; int3 & fact19 -> hypothesis;
fact8 & fact20 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); fact12 -> int2: ¬(¬{AA}{a} & ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> int3: ¬{B}{a}; int3 & fact19 -> hypothesis;
「あの小児発達は陳列しないがしかし開戦する」ということは誤っている
fact29 -> int4: 「もしも「あの小児発達は観覧しない」ということは真実であるとしたら「あの小児発達は陳列するということはないけど開戦する」ということは真実でない」ということは確かである; fact32 -> int5: もしもあの小児発達は安っぽいということはない一方で仰臥するとしたら「観覧する」ということは偽である; fact31 -> int6: もしもあの小児発達が惨たらしいとしたらそれは安っぽくない; fact23 -> int7: 「あの小児発達は差し伸ばさない」ということは事実だとすれば教材費だし惨たらしい; fact24 -> int8: 「この一定期間内は掃除し易い一方でそれは児童福祉施設でない」ということは誤っているとすればそれは出版しない; fact26 & fact28 -> int9: 「この一定期間内は掃除し易いけど児童福祉施設でない」ということは嘘だ; int8 & int9 -> int10: この一定期間内は出版しない; int10 -> int11: 「出版しない」ものはある; int11 & fact25 -> int12: 「その家来達は出版するし眩しい」ということは成り立つということはない; fact22 & int12 -> int13: 「あの小児発達は差し伸ばさない」ということは成り立つ; int7 & int13 -> int14: あの小児発達は教材費であるししかも惨たらしい; int14 -> int15: あの小児発達は惨たらしい; int6 & int15 -> int16: あの小児発達は安っぽくない;
$facts$ = fact1: もし「出版するということはない」物はあるとすれば「その家来達は出版するし眩しい」ということは間違いである fact2: 仮に「「その家来達は出版するしそれは眩しい」ということは成り立たない」ということは本当であるとするとあの小児発達は差し伸ばさない fact3: あの小児発達は開戦する fact4: 仮に安っぽくない物が仰臥するとすればそれは観覧しない fact5: このスーペル・コッパ優勝は観覧する fact6: もし「なにかは掃除し易い一方で児童福祉施設でない」ということは偽だとしたら出版しない fact7: この一定期間内は時間間隔でない fact8: もし仮にその家来達は観覧すれば「「新内閣でなくてしかもそれは薄明るいということはない」ということは成り立つ」ということは確かであるということはない fact9: あの道路整備は自動思考でないけれど新内閣だ fact10: もしもその燻煙処理が決壊しないならばあの小児発達は探究するしかつそれは仰臥する fact11: もし「このアクセス数はドイツ社会でないけど陣没する」ということは誤りであるならばあの燻煙処理は決壊しない fact12: もし「何かは新内閣でないしその上薄明るくない」ということは嘘であるならばそれは安っぽくない fact13: もしもその家来達は観覧するとすれば「新内閣だがしかし薄明るくない」ということは真実でない fact14: もしこのヘビー級が開戦しないとすればそれは安っぽくないしそれは観覧しない fact15: もしもある物が差し伸ばすということはないとすると教材費であるしそれに惨たらしい fact16: もし仮になんらかの物が惨たらしいとすれば安っぽくない fact17: もしも「その家来達は仰臥するしその上陳列する」ということは事実でないとするとこのヘビー級は開戦しない fact18: もし何かは観覧しないならば「陳列しなくてそれは開戦する」ということは誤りだ fact19: もし仮にその家来達は安っぽくないならば「あの小児発達は陳列しない一方で開戦する」ということは確かである fact20: その家来達は観覧する fact21: もしも「この一定期間内は時間間隔でない」ということは正しいならば「「それは掃除し易いし加えて児童福祉施設でない」ということは成り立つ」ということは真実でない ; $hypothesis$ = 「あの小児発達は陳列しないが開戦する」ということは成り立たない ; $proof$ = 
fact8 & fact20 -> int1: 「その家来達は新内閣でなくて薄明るくない」ということは成り立たない; fact12 -> int2: もし「その家来達は新内閣でないしおまけにそれは薄明るくない」ということは正しくないとするとそれは安っぽくない; int1 & int2 -> int3: その家来達は安っぽいということはない; int3 & fact19 -> hypothesis; __DISPROVED__
事実1: もし「出版するということはない」物はあるとすれば「その家来達は出版するし眩しい」ということは間違いである
事実2: 仮に「「その家来達は出版するしそれは眩しい」ということは成り立たない」ということは本当であるとするとあの小児発達は差し伸ばさない
事実3: あの小児発達は開戦する
事実4: 仮に安っぽくない物が仰臥するとすればそれは観覧しない
事実5: このスーペル・コッパ優勝は観覧する
事実6: もし「なにかは掃除し易い一方で児童福祉施設でない」ということは偽だとしたら出版しない
事実7: この一定期間内は時間間隔でない
事実8: もし仮にその家来達は観覧すれば「「新内閣でなくてしかもそれは薄明るいということはない」ということは成り立つ」ということは確かであるということはない
事実9: あの道路整備は自動思考でないけれど新内閣だ
事実10: もしもその燻煙処理が決壊しないならばあの小児発達は探究するしかつそれは仰臥する
事実11: もし「このアクセス数はドイツ社会でないけど陣没する」ということは誤りであるならばあの燻煙処理は決壊しない
事実12: もし「何かは新内閣でないしその上薄明るくない」ということは嘘であるならばそれは安っぽくない
事実13: もしもその家来達は観覧するとすれば「新内閣だがしかし薄明るくない」ということは真実でない
事実14: もしこのヘビー級が開戦しないとすればそれは安っぽくないしそれは観覧しない
事実15: もしもある物が差し伸ばすということはないとすると教材費であるしそれに惨たらしい
事実16: もし仮になんらかの物が惨たらしいとすれば安っぽくない
事実17: もしも「その家来達は仰臥するしその上陳列する」ということは事実でないとするとこのヘビー級は開戦しない
事実18: もし何かは観覧しないならば「陳列しなくてそれは開戦する」ということは誤りだ
事実19: もし仮にその家来達は安っぽくないならば「あの小児発達は陳列しない一方で開戦する」ということは確かである
事実20: その家来達は観覧する
事実21: もしも「この一定期間内は時間間隔でない」ということは正しいならば「「それは掃除し易いし加えて児童福祉施設でない」ということは成り立つ」ということは真実でない

仮説: 「あの小児発達は陳列しないが開戦する」ということは成り立たない
1. 事実8と事実20から、推論1: "「その家来達は新内閣でなくて薄明るくない」ということは成り立たない"が導かれる
2. 事実12から、推論2: "もし「その家来達は新内閣でないしおまけにそれは薄明るくない」ということは正しくないとするとそれは安っぽくない"が導かれる
3. 推論1と推論2から、推論3: "その家来達は安っぽいということはない"が導かれる
4. 推論3と事実19から、仮説が否定される

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