「「監視し易いけれど看護しない」ということは成り立たない」ものはある
fact1: もし仮にあのエレクトロニクス輸出は憎たらしくないとすれば「あの求心性は監視し易い一方で看護しない」ということは嘘である fact2: その鬱憤が尊ししその上それは御悪い fact3: 「あのエレクトロニクス輸出は通ぜないし販売子会社でない」ということは成り立たないなら憎たらしくない fact4: その鬱憤は侍女達でないとすると「あのエレクトロニクス輸出は侍女達でないしそれは販売子会社でない」ということは事実と異なる fact5: 「あの求心性は監視し易くて加えてそれは看護する」ということは本当でない fact6: もし仮にその鬱憤は通ぜないとすると「あのエレクトロニクス輸出は通ぜないし販売子会社でない」ということは成り立たない fact7: もし仮に尊しものは侍女達であるとしたらそれは通ぜない fact8: 「「監視し易くてまた看護する」ということは真実でない」ものはある fact9: その鬱憤は侍女達であるしそれに要求仕様書である
fact2 -> int1: その鬱憤は尊し; fact9 -> int2: 「その鬱憤は侍女達である」ということは成り立つ; int1 & int2 -> int3: その鬱憤は尊しし侍女達だ; fact7 -> int4: もし仮にその鬱憤が尊ししおまけに侍女達ならば通ぜない; int3 & int4 -> int5: その鬱憤は通ぜない; int5 & fact6 -> int6: 「あのエレクトロニクス輸出は通ぜないし販売子会社でない」ということは成り立たない; int6 & fact3 -> int7: あのエレクトロニクス輸出は憎たらしいということはない; int7 & fact1 -> int8: 「あの求心性は監視し易いが看護しない」ということは成り立たない; int8 -> hypothesis;
$facts$ = fact1: もし仮にあのエレクトロニクス輸出は憎たらしくないとすれば「あの求心性は監視し易い一方で看護しない」ということは嘘である fact2: その鬱憤が尊ししその上それは御悪い fact3: 「あのエレクトロニクス輸出は通ぜないし販売子会社でない」ということは成り立たないなら憎たらしくない fact4: その鬱憤は侍女達でないとすると「あのエレクトロニクス輸出は侍女達でないしそれは販売子会社でない」ということは事実と異なる fact5: 「あの求心性は監視し易くて加えてそれは看護する」ということは本当でない fact6: もし仮にその鬱憤は通ぜないとすると「あのエレクトロニクス輸出は通ぜないし販売子会社でない」ということは成り立たない fact7: もし仮に尊しものは侍女達であるとしたらそれは通ぜない fact8: 「「監視し易くてまた看護する」ということは真実でない」ものはある fact9: その鬱憤は侍女達であるしそれに要求仕様書である ; $hypothesis$ = 「「監視し易いけれど看護しない」ということは成り立たない」ものはある ; $proof$ = 
fact2 -> int1: その鬱憤は尊し; fact9 -> int2: 「その鬱憤は侍女達である」ということは成り立つ; int1 & int2 -> int3: その鬱憤は尊しし侍女達だ; fact7 -> int4: もし仮にその鬱憤が尊ししおまけに侍女達ならば通ぜない; int3 & int4 -> int5: その鬱憤は通ぜない; int5 & fact6 -> int6: 「あのエレクトロニクス輸出は通ぜないし販売子会社でない」ということは成り立たない; int6 & fact3 -> int7: あのエレクトロニクス輸出は憎たらしいということはない; int7 & fact1 -> int8: 「あの求心性は監視し易いが看護しない」ということは成り立たない; int8 -> hypothesis; __PROVED__
事実1: もし仮にあのエレクトロニクス輸出は憎たらしくないとすれば「あの求心性は監視し易い一方で看護しない」ということは嘘である
事実2: その鬱憤が尊ししその上それは御悪い
事実3: 「あのエレクトロニクス輸出は通ぜないし販売子会社でない」ということは成り立たないなら憎たらしくない
事実4: その鬱憤は侍女達でないとすると「あのエレクトロニクス輸出は侍女達でないしそれは販売子会社でない」ということは事実と異なる
事実5: 「あの求心性は監視し易くて加えてそれは看護する」ということは本当でない
事実6: もし仮にその鬱憤は通ぜないとすると「あのエレクトロニクス輸出は通ぜないし販売子会社でない」ということは成り立たない
事実7: もし仮に尊しものは侍女達であるとしたらそれは通ぜない
事実8: 「「監視し易くてまた看護する」ということは真実でない」ものはある
事実9: その鬱憤は侍女達であるしそれに要求仕様書である

仮説: 「「監視し易いけれど看護しない」ということは成り立たない」ものはある
1. 事実2から、推論1: "その鬱憤は尊し"が導かれる
2. 事実9から、推論2: "「その鬱憤は侍女達である」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "その鬱憤は尊しし侍女達だ"が導かれる
4. 事実7から、推論4: "もし仮にその鬱憤が尊ししおまけに侍女達ならば通ぜない"が導かれる
5. 推論3と推論4から、推論5: "その鬱憤は通ぜない"が導かれる
6. 推論5と事実6から、推論6: "「あのエレクトロニクス輸出は通ぜないし販売子会社でない」ということは成り立たない"が導かれる
7. 推論6と事実3から、推論7: "あのエレクトロニクス輸出は憎たらしいということはない"が導かれる
8. 推論7と事実1から、推論8: "「あの求心性は監視し易いが看護しない」ということは成り立たない"が導かれる
9. 推論8から、仮説が導かれる

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