そのハーバート・ノーマン全集は考え易くて崩壊し始める
fact1: 「指向する」ものはある fact2: もし「このセントラルクリーナーは幅広くないかあるいはそれは指向するかまたはどちらもだ」ということは成り立たないならばこの第三次埋葬は崩壊し始めない fact3: 揮発し易い物は優しい fact4: 「崩壊し始める」ものがあるとしたらそのハーバート・ノーマン全集は考え易い fact5: もし「指向する」ものがあるとするとそのハーバート・ノーマン全集は考え易いし崩壊し始める fact6: もしも何らかのものは優しいならば「幅広くないかあるいは指向するかまたは両方ともである」ということは間違いである fact7: なんらかのものが考え易いとするとそのハーバート・ノーマン全集は日本超古代文明ですごーい fact8: 「考え易い」ものがあるとすればそのハーバート・ノーマン全集は崩壊し始める fact9: もし仮に程遠いものがプロポーズしないなら揮発し易い
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
「そのハーバート・ノーマン全集は考え易いし加えて崩壊し始める」ということは偽である
fact10 -> int1: もしこのセントラルクリーナーは優しいならば「それは幅広くないかあるいはそれは指向するか両方ともである」ということは間違っている; fact12 -> int2: このセントラルクリーナーが揮発し易いとすれば優しい; fact13 -> int3: 「仮にこのセントラルクリーナーが程遠い一方でプロポーズしないならばこのセントラルクリーナーは揮発し易い」ということは本当である;
$facts$ = fact1: 「指向する」ものはある fact2: もし「このセントラルクリーナーは幅広くないかあるいはそれは指向するかまたはどちらもだ」ということは成り立たないならばこの第三次埋葬は崩壊し始めない fact3: 揮発し易い物は優しい fact4: 「崩壊し始める」ものがあるとしたらそのハーバート・ノーマン全集は考え易い fact5: もし「指向する」ものがあるとするとそのハーバート・ノーマン全集は考え易いし崩壊し始める fact6: もしも何らかのものは優しいならば「幅広くないかあるいは指向するかまたは両方ともである」ということは間違いである fact7: なんらかのものが考え易いとするとそのハーバート・ノーマン全集は日本超古代文明ですごーい fact8: 「考え易い」ものがあるとすればそのハーバート・ノーマン全集は崩壊し始める fact9: もし仮に程遠いものがプロポーズしないなら揮発し易い ; $hypothesis$ = そのハーバート・ノーマン全集は考え易くて崩壊し始める ; $proof$ = 
fact1 & fact5 -> hypothesis; __PROVED__
事実1: 「指向する」ものはある
事実2: もし「このセントラルクリーナーは幅広くないかあるいはそれは指向するかまたはどちらもだ」ということは成り立たないならばこの第三次埋葬は崩壊し始めない
事実3: 揮発し易い物は優しい
事実4: 「崩壊し始める」ものがあるとしたらそのハーバート・ノーマン全集は考え易い
事実5: もし「指向する」ものがあるとするとそのハーバート・ノーマン全集は考え易いし崩壊し始める
事実6: もしも何らかのものは優しいならば「幅広くないかあるいは指向するかまたは両方ともである」ということは間違いである
事実7: なんらかのものが考え易いとするとそのハーバート・ノーマン全集は日本超古代文明ですごーい
事実8: 「考え易い」ものがあるとすればそのハーバート・ノーマン全集は崩壊し始める
事実9: もし仮に程遠いものがプロポーズしないなら揮発し易い

仮説: そのハーバート・ノーマン全集は考え易くて崩壊し始める
1. 事実1と事実5から、仮説が導かれる

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