この韓屋は我慢し切れる
fact1: そのモン・ＤＶは我慢し切れる fact2: もし「何らかのものは公開ボリュームでないがしかし情け深い」ということは嘘であるとすればそれは我慢し切れない fact3: すべてのものは御黙る fact4: もし仮にこの韓屋が情け深いなら我慢し切れる fact5: この韓屋は歩き易い fact6: とあるものがＥカードだとすればそれは御黙る fact7: もし仮になにかは実用新案登録願いでないとしたら「それは情け深いかまたはそれは公開ボリュームだ」ということは真実だ fact8: もし何かは判決するということはないとするとそれは輝かしいかまたはＥカードであるかまたは両方ともである fact9: なにがしかの物は実用新案登録願いでないとすると「公開ボリュームでないがしかし情け深い」ということは間違っている fact10: 仮にあの高速鉄道が御黙るならそのセリンは実用新案登録願いでないかあるいは賢しいかもしくは両方だ fact11: この韓屋は情け深い fact12: 「鍛練するしその上起き難い」物があればその切れ者は判決するということはない fact13: もしその切れ者が輝かしいとしたらあの高速鉄道はＥカードである fact14: なにがしかのものは鍛練するし更にそれは起き難い
fact4 & fact11 -> hypothesis;
fact4 & fact11 -> hypothesis;
この韓屋は我慢し切れない
fact16 -> int1: もし「「「この韓屋は公開ボリュームでないがしかし情け深い」ということは真実だ」ということは成り立つということはない」ということは本当であるならばそれは我慢し切れない; fact21 -> int2: もしもこの韓屋は実用新案登録願いでないとしたら「公開ボリュームでないけれど情け深い」ということは成り立つということはない; fact22 -> int3: もしもあの高速鉄道はＥカードだとすれば「それは御黙る」ということは本当だ; fact15 -> int4: もしも「その切れ者は判決しない」ということは間違っているということはないなら輝かしいかもしくはＥカードだ; fact19 & fact20 -> int5: その切れ者は判決しない; int4 & int5 -> int6: その切れ者は輝かしいかまたはそれはＥカードだ;
$facts$ = fact1: そのモン・ＤＶは我慢し切れる fact2: もし「何らかのものは公開ボリュームでないがしかし情け深い」ということは嘘であるとすればそれは我慢し切れない fact3: すべてのものは御黙る fact4: もし仮にこの韓屋が情け深いなら我慢し切れる fact5: この韓屋は歩き易い fact6: とあるものがＥカードだとすればそれは御黙る fact7: もし仮になにかは実用新案登録願いでないとしたら「それは情け深いかまたはそれは公開ボリュームだ」ということは真実だ fact8: もし何かは判決するということはないとするとそれは輝かしいかまたはＥカードであるかまたは両方ともである fact9: なにがしかの物は実用新案登録願いでないとすると「公開ボリュームでないがしかし情け深い」ということは間違っている fact10: 仮にあの高速鉄道が御黙るならそのセリンは実用新案登録願いでないかあるいは賢しいかもしくは両方だ fact11: この韓屋は情け深い fact12: 「鍛練するしその上起き難い」物があればその切れ者は判決するということはない fact13: もしその切れ者が輝かしいとしたらあの高速鉄道はＥカードである fact14: なにがしかのものは鍛練するし更にそれは起き難い ; $hypothesis$ = この韓屋は我慢し切れる ; $proof$ = 
fact4 & fact11 -> hypothesis; __PROVED__
事実1: そのモン・ＤＶは我慢し切れる
事実2: もし「何らかのものは公開ボリュームでないがしかし情け深い」ということは嘘であるとすればそれは我慢し切れない
事実3: すべてのものは御黙る
事実4: もし仮にこの韓屋が情け深いなら我慢し切れる
事実5: この韓屋は歩き易い
事実6: とあるものがＥカードだとすればそれは御黙る
事実7: もし仮になにかは実用新案登録願いでないとしたら「それは情け深いかまたはそれは公開ボリュームだ」ということは真実だ
事実8: もし何かは判決するということはないとするとそれは輝かしいかまたはＥカードであるかまたは両方ともである
事実9: なにがしかの物は実用新案登録願いでないとすると「公開ボリュームでないがしかし情け深い」ということは間違っている
事実10: 仮にあの高速鉄道が御黙るならそのセリンは実用新案登録願いでないかあるいは賢しいかもしくは両方だ
事実11: この韓屋は情け深い
事実12: 「鍛練するしその上起き難い」物があればその切れ者は判決するということはない
事実13: もしその切れ者が輝かしいとしたらあの高速鉄道はＥカードである
事実14: なにがしかのものは鍛練するし更にそれは起き難い

仮説: この韓屋は我慢し切れる
1. 事実4と事実11から、仮説が導かれる

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