このコンソール・ルームは覚え易い
fact1: もし仮に「なにがしかの物は銅鋺でない一方で覚え易い」ということは成り立つということはないとしたらそれは覚え易いということはない fact2: あの浦々がキットハウスだとするとあの林檎ちゃんは旧財閥だ fact3: あの浦々はキットハウスで銅鋺だ fact4: もしあの林檎ちゃんが旧財閥であるとすればこのコンソール・ルームは覚え易い fact5: 仮に何かはキットハウスでないならば「それは銅鋺であるということはないけど覚え易い」ということは間違いである fact6: もしもめでたいものが旧財閥ならばキットハウスでない
fact3 -> int1: あの浦々はキットハウスである; int1 & fact2 -> int2: あの林檎ちゃんは旧財閥だ; int2 & fact4 -> hypothesis;
このコンソール・ルームは覚え易くない
fact8 -> int3: 「このコンソール・ルームは銅鋺であるということはないがしかし覚え易い」ということは事実と異なるなら覚え易くない; fact7 -> int4: このコンソール・ルームはキットハウスであるということはないならば「銅鋺だということはないけれど覚え易い」ということは偽だ; fact9 -> int5: もし「このコンソール・ルームはめでたいしそれに旧財閥である」ということは成り立てばキットハウスでない;
$facts$ = fact1: もし仮に「なにがしかの物は銅鋺でない一方で覚え易い」ということは成り立つということはないとしたらそれは覚え易いということはない fact2: あの浦々がキットハウスだとするとあの林檎ちゃんは旧財閥だ fact3: あの浦々はキットハウスで銅鋺だ fact4: もしあの林檎ちゃんが旧財閥であるとすればこのコンソール・ルームは覚え易い fact5: 仮に何かはキットハウスでないならば「それは銅鋺であるということはないけど覚え易い」ということは間違いである fact6: もしもめでたいものが旧財閥ならばキットハウスでない ; $hypothesis$ = このコンソール・ルームは覚え易い ; $proof$ = 
fact3 -> int1: あの浦々はキットハウスである; int1 & fact2 -> int2: あの林檎ちゃんは旧財閥だ; int2 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に「なにがしかの物は銅鋺でない一方で覚え易い」ということは成り立つということはないとしたらそれは覚え易いということはない
事実2: あの浦々がキットハウスだとするとあの林檎ちゃんは旧財閥だ
事実3: あの浦々はキットハウスで銅鋺だ
事実4: もしあの林檎ちゃんが旧財閥であるとすればこのコンソール・ルームは覚え易い
事実5: 仮に何かはキットハウスでないならば「それは銅鋺であるということはないけど覚え易い」ということは間違いである
事実6: もしもめでたいものが旧財閥ならばキットハウスでない

仮説: このコンソール・ルームは覚え易い
1. 事実3から、推論1: "あの浦々はキットハウスである"が導かれる
2. 推論1と事実2から、推論2: "あの林檎ちゃんは旧財閥だ"が導かれる
3. 推論2と事実4から、仮説が導かれる

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