その官房長は尊し
fact1: この鼻頭は尊し fact2: この煉瓦片は尊し fact3: もしもあの乱戦が赤いかまたはそれが保革逆転でないかどちらもであるならばその官房長は赤くない fact4: その官房長は不定詞だ fact5: もしもこの各自が激しいか委託会社でないか両方ともであるとすればあの乱戦は委託会社であるということはない fact6: その官房長は重い fact7: 「赤くない物は尊しない」ということは真実である fact8: その官房長は尊し fact9: 仮になんらかの物は委託会社でないならばそれは赤いかもしくは保革逆転でないか両方ともである fact10: 赤い物は尊し fact11: その官房長は浮き易い fact12: このＣ氏自身は尊し
fact8 -> hypothesis;
fact8 -> hypothesis;
その官房長は尊しない
fact13 -> int1: その官房長が赤くないならばそれは尊しということはない; fact15 -> int2: 仮にあの乱戦が委託会社でないとすればそれは赤いかもしくは保革逆転でないかまたは両方だ;
$facts$ = fact1: この鼻頭は尊し fact2: この煉瓦片は尊し fact3: もしもあの乱戦が赤いかまたはそれが保革逆転でないかどちらもであるならばその官房長は赤くない fact4: その官房長は不定詞だ fact5: もしもこの各自が激しいか委託会社でないか両方ともであるとすればあの乱戦は委託会社であるということはない fact6: その官房長は重い fact7: 「赤くない物は尊しない」ということは真実である fact8: その官房長は尊し fact9: 仮になんらかの物は委託会社でないならばそれは赤いかもしくは保革逆転でないか両方ともである fact10: 赤い物は尊し fact11: その官房長は浮き易い fact12: このＣ氏自身は尊し ; $hypothesis$ = その官房長は尊し ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: この鼻頭は尊し
事実2: この煉瓦片は尊し
事実3: もしもあの乱戦が赤いかまたはそれが保革逆転でないかどちらもであるならばその官房長は赤くない
事実4: その官房長は不定詞だ
事実5: もしもこの各自が激しいか委託会社でないか両方ともであるとすればあの乱戦は委託会社であるということはない
事実6: その官房長は重い
事実7: 「赤くない物は尊しない」ということは真実である
事実8: その官房長は尊し
事実9: 仮になんらかの物は委託会社でないならばそれは赤いかもしくは保革逆転でないか両方ともである
事実10: 赤い物は尊し
事実11: その官房長は浮き易い
事実12: このＣ氏自身は尊し

仮説: その官房長は尊し
1. 事実8から、仮説が導かれる

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