その各種アプリケーションは弁ぜない
fact1: もし仮にその教師自身は入手し易いとすれば「その各種アプリケーションは弁ぜない一方でそれはディスクだ」ということは本当でない fact2: もし仮に「なにがしかの物は弁ぜないけどディスクだ」ということは誤りであるとすれば「それは弁ずる」ということは成り立つ fact3: 仮にこの財政健全化計画がディスクでないならその各種アプリケーションは弁ぜない fact4: 仮にその教師自身は弁ぜないとすれば「その各種アプリケーションは見計らわない」ということは事実だ fact5: 「その教師自身は見計らうし相違する」ということは成り立つということはないとしたら「この財政健全化計画はディスクでない」ということは事実である fact6: 仮に「あの引き当て金は身分登録所連合だ一方でアミン中和しない」ということは誤りだとしたらこの財政健全化計画はアミン中和する fact7: 仮に「その教師自身は相違するしさらにディスクである」ということは偽だとするとこの財政健全化計画は弁ぜない fact8: その各種アプリケーションが相違しないとするとその教師自身は弁ぜない fact9: 「その教師自身は見計らうししかも相違する」ということは偽である fact10: なんらかのものは振れるとすると「身分登録所連合であるししかもアミン中和するということはない」ということは成り立たない fact11: もしもあの探査機が振れるならばあの引き当て金は振れる fact12: 何らかのものはアミン中和するとすると「ブルジョア的言語観でないししかもそれは生じ難いということはない」ということは嘘である fact13: もし「この財政健全化計画はブルジョア的言語観でないししかも生じ難くない」ということは誤っているならばあの教師自身は尊くない fact14: 「尊くない物は入手し易いしおまけに軍人らしい」ということは本当である
fact5 & fact9 -> int1: この財政健全化計画はディスクでない; int1 & fact3 -> hypothesis;
その各種アプリケーションは弁ずる
fact18 -> int2: もし「その各種アプリケーションは弁ぜないがディスクだ」ということは成り立たないならば「それは弁ずる」ということは成り立つ; fact21 -> int3: もしその教師自身が尊くないとしたら入手し易いしさらに軍人らしい; fact15 -> int4: 仮にこの財政健全化計画はアミン中和するとしたら「それはブルジョア的言語観でなくて生じ難くない」ということは誤りである; fact22 -> int5: もし仮にあの引き当て金は振れるとすれば「それは身分登録所連合であるがしかしアミン中和しない」ということは偽である;
$facts$ = fact1: もし仮にその教師自身は入手し易いとすれば「その各種アプリケーションは弁ぜない一方でそれはディスクだ」ということは本当でない fact2: もし仮に「なにがしかの物は弁ぜないけどディスクだ」ということは誤りであるとすれば「それは弁ずる」ということは成り立つ fact3: 仮にこの財政健全化計画がディスクでないならその各種アプリケーションは弁ぜない fact4: 仮にその教師自身は弁ぜないとすれば「その各種アプリケーションは見計らわない」ということは事実だ fact5: 「その教師自身は見計らうし相違する」ということは成り立つということはないとしたら「この財政健全化計画はディスクでない」ということは事実である fact6: 仮に「あの引き当て金は身分登録所連合だ一方でアミン中和しない」ということは誤りだとしたらこの財政健全化計画はアミン中和する fact7: 仮に「その教師自身は相違するしさらにディスクである」ということは偽だとするとこの財政健全化計画は弁ぜない fact8: その各種アプリケーションが相違しないとするとその教師自身は弁ぜない fact9: 「その教師自身は見計らうししかも相違する」ということは偽である fact10: なんらかのものは振れるとすると「身分登録所連合であるししかもアミン中和するということはない」ということは成り立たない fact11: もしもあの探査機が振れるならばあの引き当て金は振れる fact12: 何らかのものはアミン中和するとすると「ブルジョア的言語観でないししかもそれは生じ難いということはない」ということは嘘である fact13: もし「この財政健全化計画はブルジョア的言語観でないししかも生じ難くない」ということは誤っているならばあの教師自身は尊くない fact14: 「尊くない物は入手し易いしおまけに軍人らしい」ということは本当である ; $hypothesis$ = その各種アプリケーションは弁ぜない ; $proof$ = 
fact5 & fact9 -> int1: この財政健全化計画はディスクでない; int1 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にその教師自身は入手し易いとすれば「その各種アプリケーションは弁ぜない一方でそれはディスクだ」ということは本当でない
事実2: もし仮に「なにがしかの物は弁ぜないけどディスクだ」ということは誤りであるとすれば「それは弁ずる」ということは成り立つ
事実3: 仮にこの財政健全化計画がディスクでないならその各種アプリケーションは弁ぜない
事実4: 仮にその教師自身は弁ぜないとすれば「その各種アプリケーションは見計らわない」ということは事実だ
事実5: 「その教師自身は見計らうし相違する」ということは成り立つということはないとしたら「この財政健全化計画はディスクでない」ということは事実である
事実6: 仮に「あの引き当て金は身分登録所連合だ一方でアミン中和しない」ということは誤りだとしたらこの財政健全化計画はアミン中和する
事実7: 仮に「その教師自身は相違するしさらにディスクである」ということは偽だとするとこの財政健全化計画は弁ぜない
事実8: その各種アプリケーションが相違しないとするとその教師自身は弁ぜない
事実9: 「その教師自身は見計らうししかも相違する」ということは偽である
事実10: なんらかのものは振れるとすると「身分登録所連合であるししかもアミン中和するということはない」ということは成り立たない
事実11: もしもあの探査機が振れるならばあの引き当て金は振れる
事実12: 何らかのものはアミン中和するとすると「ブルジョア的言語観でないししかもそれは生じ難いということはない」ということは嘘である
事実13: もし「この財政健全化計画はブルジョア的言語観でないししかも生じ難くない」ということは誤っているならばあの教師自身は尊くない
事実14: 「尊くない物は入手し易いしおまけに軍人らしい」ということは本当である

仮説: その各種アプリケーションは弁ぜない
1. 事実5と事実9から、推論1: "この財政健全化計画はディスクでない"が導かれる
2. 推論1と事実3から、仮説が導かれる

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