このジンゲロンは厳めしい
fact1: 可笑しない物は沿岸部でないかまたは御辞儀しないかまたはどちらもである fact2: 「この名医は赴かない」ということは本当である fact3: もしもこの名医が赴かないならばそれは吹き易くないし加えてそれは高い fact4: もしこの名医が沿岸部でないかまたは御辞儀しないか両方であるとすればそれは御辞儀するということはない fact5: このジンゲロンは良し fact6: もしあの趣味人が厳めしかないならこのジンゲロンは厳めしかない fact7: もしも何らかの物が御辞儀しないとするとその切っ先はウイングだしそれにソーラー・プレクサス・チャクラだ fact8: あの趣味人はウイングである fact9: このジンゲロンはウイングである fact10: もしもこの名医が吹き易くないけれど高いならばそれは可笑しない fact11: もし仮にあの趣味人がウイングならこのジンゲロンは厳めしい fact12: あのセンター内は厳めしい fact13: ウイングは管理支配しないかもしくは厳めしいということはないかもしくはどちらもだ
fact11 & fact8 -> hypothesis;
fact11 & fact8 -> hypothesis;
このジンゲロンは厳めしかない
fact14 -> int1: その切っ先はウイングであるとしたら管理支配しないかまたは厳めしくらないかまたは両方ともだ; fact20 -> int2: この名医が可笑しということはないとするとそれは沿岸部でないか御辞儀しない; fact19 & fact16 -> int3: この名医は吹き易いということはないがそれは高い; fact21 & int3 -> int4: この名医は可笑しない; int2 & int4 -> int5: この名医は沿岸部でないかまたは御辞儀しないかあるいは両方だ; fact17 & int5 -> int6: この名医は御辞儀しない; int6 -> int7: 「御辞儀しない」ものはある; int7 & fact18 -> int8: その切っ先はウイングであるし加えてソーラー・プレクサス・チャクラである; int8 -> int9: その切っ先はウイングだ; int1 & int9 -> int10: その切っ先は管理支配しないかまたは厳めしかない; int10 -> int11: 「管理支配しないかもしくは厳めしいということはないかまたは両方である」ものはある;
$facts$ = fact1: 可笑しない物は沿岸部でないかまたは御辞儀しないかまたはどちらもである fact2: 「この名医は赴かない」ということは本当である fact3: もしもこの名医が赴かないならばそれは吹き易くないし加えてそれは高い fact4: もしこの名医が沿岸部でないかまたは御辞儀しないか両方であるとすればそれは御辞儀するということはない fact5: このジンゲロンは良し fact6: もしあの趣味人が厳めしかないならこのジンゲロンは厳めしかない fact7: もしも何らかの物が御辞儀しないとするとその切っ先はウイングだしそれにソーラー・プレクサス・チャクラだ fact8: あの趣味人はウイングである fact9: このジンゲロンはウイングである fact10: もしもこの名医が吹き易くないけれど高いならばそれは可笑しない fact11: もし仮にあの趣味人がウイングならこのジンゲロンは厳めしい fact12: あのセンター内は厳めしい fact13: ウイングは管理支配しないかもしくは厳めしいということはないかもしくはどちらもだ ; $hypothesis$ = このジンゲロンは厳めしい ; $proof$ = 
fact11 & fact8 -> hypothesis; __PROVED__
事実1: 可笑しない物は沿岸部でないかまたは御辞儀しないかまたはどちらもである
事実2: 「この名医は赴かない」ということは本当である
事実3: もしもこの名医が赴かないならばそれは吹き易くないし加えてそれは高い
事実4: もしこの名医が沿岸部でないかまたは御辞儀しないか両方であるとすればそれは御辞儀するということはない
事実5: このジンゲロンは良し
事実6: もしあの趣味人が厳めしかないならこのジンゲロンは厳めしかない
事実7: もしも何らかの物が御辞儀しないとするとその切っ先はウイングだしそれにソーラー・プレクサス・チャクラだ
事実8: あの趣味人はウイングである
事実9: このジンゲロンはウイングである
事実10: もしもこの名医が吹き易くないけれど高いならばそれは可笑しない
事実11: もし仮にあの趣味人がウイングならこのジンゲロンは厳めしい
事実12: あのセンター内は厳めしい
事実13: ウイングは管理支配しないかもしくは厳めしいということはないかもしくはどちらもだ

仮説: このジンゲロンは厳めしい
1. 事実11と事実8から、仮説が導かれる

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