「この公用は比較分析しないけれどそれは美しい」ということは偽だ
fact1: もしもこのサドルは認知的中和行為であるとしたら「あの非マレー系住民は比較分析しない」ということは事実だ fact2: 「その外国産葡萄酒が二人共でないとしたらこのサドルは比較分析するということはない」ということは事実である fact3: もし仮にこのサドルが二人共でないならその外国産葡萄酒は比較分析するということはない fact4: 仮にあの非マレー系住民が認知的中和行為であるならその外国産葡萄酒は二人共でない fact5: 「この公用は比較分析するし美しい」ということは間違っている fact6: もし仮にこの公用が比較分析するかもしくは二人共であるとしたらその外国産葡萄酒は美しくない fact7: もし「あの非マレー系住民は認知的中和行為でない」ということは正しいならば「この公用は認知的中和行為だししかも比較分析する」ということは偽である fact8: もしその外国産葡萄酒が認知的中和行為だとするとあの非マレー系住民は二人共でない fact9: あの非マレー系住民は喋り難い fact10: もしもなにがしかの物は認知的中和行為であるとすればそれは喋り難い fact11: もし「このサドルは比較分析するということはない」ということは成り立つとすれば「この公用は比較分析するし加えてそれは美しい」ということは誤っている fact12: もし仮にあの非マレー系住民が喋り難いかあるいは認知的中和行為であるかまたはどちらもであるとすればその外国産葡萄酒は二人共でない fact13: もしあの非マレー系住民は比較分析するということはないとすると「この公用は比較分析するし加えてそれは認知的中和行為である」ということは間違いだ fact14: 喋り難いものは比較分析するということはないがしかし美しい fact15: もし仮にこのサドルは比較分析しないならば「「この公用は比較分析するということはないがしかし美しい」ということは確かでない」ということは成り立つ fact16: もしこの公用は補足しないとしたら「それは認知的中和行為でなくて二人共だ」ということは誤っている
fact9 -> int1: あの非マレー系住民は喋り難いかまたは認知的中和行為であるかもしくはどちらもである; int1 & fact12 -> int2: その外国産葡萄酒は二人共でない; int2 & fact2 -> int3: このサドルは比較分析しない; int3 & fact15 -> hypothesis;
この公用は比較分析しないけど美しい
fact17 -> int4: もしもこの公用が喋り難いならば比較分析しないけれど美しい; fact19 -> int5: もし「この公用は認知的中和行為である」ということは事実ならばそれは喋り難い;
$facts$ = fact1: もしもこのサドルは認知的中和行為であるとしたら「あの非マレー系住民は比較分析しない」ということは事実だ fact2: 「その外国産葡萄酒が二人共でないとしたらこのサドルは比較分析するということはない」ということは事実である fact3: もし仮にこのサドルが二人共でないならその外国産葡萄酒は比較分析するということはない fact4: 仮にあの非マレー系住民が認知的中和行為であるならその外国産葡萄酒は二人共でない fact5: 「この公用は比較分析するし美しい」ということは間違っている fact6: もし仮にこの公用が比較分析するかもしくは二人共であるとしたらその外国産葡萄酒は美しくない fact7: もし「あの非マレー系住民は認知的中和行為でない」ということは正しいならば「この公用は認知的中和行為だししかも比較分析する」ということは偽である fact8: もしその外国産葡萄酒が認知的中和行為だとするとあの非マレー系住民は二人共でない fact9: あの非マレー系住民は喋り難い fact10: もしもなにがしかの物は認知的中和行為であるとすればそれは喋り難い fact11: もし「このサドルは比較分析するということはない」ということは成り立つとすれば「この公用は比較分析するし加えてそれは美しい」ということは誤っている fact12: もし仮にあの非マレー系住民が喋り難いかあるいは認知的中和行為であるかまたはどちらもであるとすればその外国産葡萄酒は二人共でない fact13: もしあの非マレー系住民は比較分析するということはないとすると「この公用は比較分析するし加えてそれは認知的中和行為である」ということは間違いだ fact14: 喋り難いものは比較分析するということはないがしかし美しい fact15: もし仮にこのサドルは比較分析しないならば「「この公用は比較分析するということはないがしかし美しい」ということは確かでない」ということは成り立つ fact16: もしこの公用は補足しないとしたら「それは認知的中和行為でなくて二人共だ」ということは誤っている ; $hypothesis$ = 「この公用は比較分析しないけれどそれは美しい」ということは偽だ ; $proof$ = 
fact9 -> int1: あの非マレー系住民は喋り難いかまたは認知的中和行為であるかもしくはどちらもである; int1 & fact12 -> int2: その外国産葡萄酒は二人共でない; int2 & fact2 -> int3: このサドルは比較分析しない; int3 & fact15 -> hypothesis; __PROVED__
事実1: もしもこのサドルは認知的中和行為であるとしたら「あの非マレー系住民は比較分析しない」ということは事実だ
事実2: 「その外国産葡萄酒が二人共でないとしたらこのサドルは比較分析するということはない」ということは事実である
事実3: もし仮にこのサドルが二人共でないならその外国産葡萄酒は比較分析するということはない
事実4: 仮にあの非マレー系住民が認知的中和行為であるならその外国産葡萄酒は二人共でない
事実5: 「この公用は比較分析するし美しい」ということは間違っている
事実6: もし仮にこの公用が比較分析するかもしくは二人共であるとしたらその外国産葡萄酒は美しくない
事実7: もし「あの非マレー系住民は認知的中和行為でない」ということは正しいならば「この公用は認知的中和行為だししかも比較分析する」ということは偽である
事実8: もしその外国産葡萄酒が認知的中和行為だとするとあの非マレー系住民は二人共でない
事実9: あの非マレー系住民は喋り難い
事実10: もしもなにがしかの物は認知的中和行為であるとすればそれは喋り難い
事実11: もし「このサドルは比較分析するということはない」ということは成り立つとすれば「この公用は比較分析するし加えてそれは美しい」ということは誤っている
事実12: もし仮にあの非マレー系住民が喋り難いかあるいは認知的中和行為であるかまたはどちらもであるとすればその外国産葡萄酒は二人共でない
事実13: もしあの非マレー系住民は比較分析するということはないとすると「この公用は比較分析するし加えてそれは認知的中和行為である」ということは間違いだ
事実14: 喋り難いものは比較分析するということはないがしかし美しい
事実15: もし仮にこのサドルは比較分析しないならば「「この公用は比較分析するということはないがしかし美しい」ということは確かでない」ということは成り立つ
事実16: もしこの公用は補足しないとしたら「それは認知的中和行為でなくて二人共だ」ということは誤っている

仮説: 「この公用は比較分析しないけれどそれは美しい」ということは偽だ
1. 事実9から、推論1: "あの非マレー系住民は喋り難いかまたは認知的中和行為であるかもしくはどちらもである"が導かれる
2. 推論1と事実12から、推論2: "その外国産葡萄酒は二人共でない"が導かれる
3. 推論2と事実2から、推論3: "このサドルは比較分析しない"が導かれる
4. 推論3と事実15から、仮説が導かれる

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