「あの答弁は平たくなくておまけに労判でない」ということは偽だ
fact1: 仮に「美しい」ものはあるとしたら「あの答弁は平たいけれどそれは労判でない」ということは偽である fact2: 「「あの答弁は平たいがしかし労判でない」ということは成り立つ」ということは成り立たない fact3: 「あの答弁は平たくないが労判である」ということは成り立つということはない fact4: 「「何かは租借する」ということは成り立つとしたら「この導べは嗅がさなくてまた煩わしくない」ということは成り立たない」ということは確かだ fact5: もしもあるものが美しいということはないとしたらそれは平たいということはなくて労判でない fact6: もしも「美しい」物はあるとすれば「あの答弁は平たくないし加えて労判でない」ということは嘘だ fact7: もしもあの答弁は美しくないとしたら「あのユニフォームは咎人でないし加えて例外無くない」ということは成り立たない fact8: 「「美しい」ということは正しい」物はある fact9: もし「美しい」物はあるなら「あの答弁は平たくないけれど労判である」ということは偽だ fact10: 「帯電する」物はあるとしたら「あの答弁は勘違いし易くないしそれに編入するということはない」ということは成り立たない
fact8 & fact6 -> hypothesis;
fact8 & fact6 -> hypothesis;
あの答弁は平たくなくてそれは労判でない
fact11 -> int1: もしもあの答弁は美しいということはないとすれば「平たくないし労判でない」ということは誤っていない;
$facts$ = fact1: 仮に「美しい」ものはあるとしたら「あの答弁は平たいけれどそれは労判でない」ということは偽である fact2: 「「あの答弁は平たいがしかし労判でない」ということは成り立つ」ということは成り立たない fact3: 「あの答弁は平たくないが労判である」ということは成り立つということはない fact4: 「「何かは租借する」ということは成り立つとしたら「この導べは嗅がさなくてまた煩わしくない」ということは成り立たない」ということは確かだ fact5: もしもあるものが美しいということはないとしたらそれは平たいということはなくて労判でない fact6: もしも「美しい」物はあるとすれば「あの答弁は平たくないし加えて労判でない」ということは嘘だ fact7: もしもあの答弁は美しくないとしたら「あのユニフォームは咎人でないし加えて例外無くない」ということは成り立たない fact8: 「「美しい」ということは正しい」物はある fact9: もし「美しい」物はあるなら「あの答弁は平たくないけれど労判である」ということは偽だ fact10: 「帯電する」物はあるとしたら「あの答弁は勘違いし易くないしそれに編入するということはない」ということは成り立たない ; $hypothesis$ = 「あの答弁は平たくなくておまけに労判でない」ということは偽だ ; $proof$ = 
fact8 & fact6 -> hypothesis; __PROVED__
事実1: 仮に「美しい」ものはあるとしたら「あの答弁は平たいけれどそれは労判でない」ということは偽である
事実2: 「「あの答弁は平たいがしかし労判でない」ということは成り立つ」ということは成り立たない
事実3: 「あの答弁は平たくないが労判である」ということは成り立つということはない
事実4: 「「何かは租借する」ということは成り立つとしたら「この導べは嗅がさなくてまた煩わしくない」ということは成り立たない」ということは確かだ
事実5: もしもあるものが美しいということはないとしたらそれは平たいということはなくて労判でない
事実6: もしも「美しい」物はあるとすれば「あの答弁は平たくないし加えて労判でない」ということは嘘だ
事実7: もしもあの答弁は美しくないとしたら「あのユニフォームは咎人でないし加えて例外無くない」ということは成り立たない
事実8: 「「美しい」ということは正しい」物はある
事実9: もし「美しい」物はあるなら「あの答弁は平たくないけれど労判である」ということは偽だ
事実10: 「帯電する」物はあるとしたら「あの答弁は勘違いし易くないしそれに編入するということはない」ということは成り立たない

仮説: 「あの答弁は平たくなくておまけに労判でない」ということは偽だ
1. 事実8と事実6から、仮説が導かれる

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