この役務は可笑し
fact1: あの四フレームは例外無い fact2: 仮にある物はＭＥＭＳであるということはないとしたら採用出来ないけど逃れ難い fact3: もしなにかは採用出来ない一方でそれが逃れ難いならそれは成され易くない fact4: もしも心優しい物が御求めに成らないとするとそれはＭＥＭＳだということはない fact5: もしも「なにがしかの物は選択され易くないししかも迷い易くない」ということは誤りであるとすると「心優しい」ということは本当である fact6: 仮にあの取り引き関係は成され易くないなら「あの四フレームは例外無くないがそれは可笑し」ということは成り立たない fact7: もしこの実験研究は土塀なら「あの取り引き関係は選択され易くないしおまけに迷い易くない」ということは成り立たない fact8: 仮に「「あの取り引き関係は恵み深くなくて歌舞伎っぽくない」ということは事実と異なる」ということは真実であるとするとこの役務は可笑し fact9: この実験研究は土塀である fact10: 「あの取り引き関係は例外無くないし更に歌舞伎っぽくない」ということは偽であるとしたらあの四フレームは恵み深い fact11: もしも「あの四フレームは例外無い」ということは正しいとすると「あの取り引き関係は恵み深くなくて歌舞伎っぽくない」ということは間違っている
fact11 & fact1 -> int1: 「あの取り引き関係は恵み深くないしそれは歌舞伎っぽくない」ということは本当でない; int1 & fact8 -> hypothesis;
fact11 & fact1 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact8 -> hypothesis;
この役務は可笑しない
fact16 -> int2: もし仮にあの取り引き関係が採用出来ないけど逃れ難いとしたら成され易くない; fact14 -> int3: もし仮にあの取り引き関係がＭＥＭＳでないとすればそれは採用出来ないしおまけにそれは逃れ難い; fact18 -> int4: もし仮にあの取り引き関係が心優しいが御求めに成らないとするとそれはＭＥＭＳでない; fact12 -> int5: もし「あの取り引き関係は選択され易くないし更に迷い易くない」ということは間違いであるとすればそれは心優しい; fact17 & fact15 -> int6: 「あの取り引き関係は選択され易くないしまたそれは迷い易くない」ということは嘘である; int5 & int6 -> int7: 「あの取り引き関係は心優しい」ということは成り立つ;
$facts$ = fact1: あの四フレームは例外無い fact2: 仮にある物はＭＥＭＳであるということはないとしたら採用出来ないけど逃れ難い fact3: もしなにかは採用出来ない一方でそれが逃れ難いならそれは成され易くない fact4: もしも心優しい物が御求めに成らないとするとそれはＭＥＭＳだということはない fact5: もしも「なにがしかの物は選択され易くないししかも迷い易くない」ということは誤りであるとすると「心優しい」ということは本当である fact6: 仮にあの取り引き関係は成され易くないなら「あの四フレームは例外無くないがそれは可笑し」ということは成り立たない fact7: もしこの実験研究は土塀なら「あの取り引き関係は選択され易くないしおまけに迷い易くない」ということは成り立たない fact8: 仮に「「あの取り引き関係は恵み深くなくて歌舞伎っぽくない」ということは事実と異なる」ということは真実であるとするとこの役務は可笑し fact9: この実験研究は土塀である fact10: 「あの取り引き関係は例外無くないし更に歌舞伎っぽくない」ということは偽であるとしたらあの四フレームは恵み深い fact11: もしも「あの四フレームは例外無い」ということは正しいとすると「あの取り引き関係は恵み深くなくて歌舞伎っぽくない」ということは間違っている ; $hypothesis$ = この役務は可笑し ; $proof$ = 
fact11 & fact1 -> int1: 「あの取り引き関係は恵み深くないしそれは歌舞伎っぽくない」ということは本当でない; int1 & fact8 -> hypothesis; __PROVED__
事実1: あの四フレームは例外無い
事実2: 仮にある物はＭＥＭＳであるということはないとしたら採用出来ないけど逃れ難い
事実3: もしなにかは採用出来ない一方でそれが逃れ難いならそれは成され易くない
事実4: もしも心優しい物が御求めに成らないとするとそれはＭＥＭＳだということはない
事実5: もしも「なにがしかの物は選択され易くないししかも迷い易くない」ということは誤りであるとすると「心優しい」ということは本当である
事実6: 仮にあの取り引き関係は成され易くないなら「あの四フレームは例外無くないがそれは可笑し」ということは成り立たない
事実7: もしこの実験研究は土塀なら「あの取り引き関係は選択され易くないしおまけに迷い易くない」ということは成り立たない
事実8: 仮に「「あの取り引き関係は恵み深くなくて歌舞伎っぽくない」ということは事実と異なる」ということは真実であるとするとこの役務は可笑し
事実9: この実験研究は土塀である
事実10: 「あの取り引き関係は例外無くないし更に歌舞伎っぽくない」ということは偽であるとしたらあの四フレームは恵み深い
事実11: もしも「あの四フレームは例外無い」ということは正しいとすると「あの取り引き関係は恵み深くなくて歌舞伎っぽくない」ということは間違っている

仮説: この役務は可笑し
1. 事実11と事実1から、推論1: "「あの取り引き関係は恵み深くないしそれは歌舞伎っぽくない」ということは本当でない"が導かれる
2. 推論1と事実8から、仮説が導かれる

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