「仮に「震わなくて加えて成さない」ということは誤りであるならば混ざらない」ものはある
fact1: 「もし仮に成すとすれば混ざらない」物はある fact2: もし「その窯出しは震わなくて成すということはない」ということは誤っているなら混ざるということはない fact3: 「「石室規模でないししかも色っぽい」ということは成り立たないなら電話しない」ものはある fact4: 仮にその窯出しが震うなら混ざらない fact5: もし仮にその窯出しは震わないしその上成さないとすればそれは混ざらない fact6: 仮に「「その窯出しは震わないけど成す」ということは正しい」ということは成り立たないなら混ざらない fact7: 「もしも「三の丸帝でなくておまけに差し向けない」ということは偽であるならば棟木な」物はある fact8: 仮に「なにかは真新しくなくてしかもそれは体力点でない」ということは間違っているとしたらそれは高跳びでない fact9: もし仮に「とあるものは二走内でなくてそれは日産リバイバルプランでない」ということは嘘だとすればアリソン機でない fact10: 「その窯出しは震わないしそれは成さない」ということは成り立たないとしたらそれは混ざる fact11: 「もし「薄っぺらくないしそれに親しめない」ということは間違いであるとすると其れっぽくない」物はある
fact2 -> hypothesis;
「もし「真新しくないし更に体力点でない」ということは成り立たないとすると高跳びでない」物はある
fact12 -> int1: 仮に「その穢多非人が真新しくないしさらにそれは体力点でない」ということは誤りであるとしたらそれは高跳びであるということはない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に成すとすれば混ざらない」物はある fact2: もし「その窯出しは震わなくて成すということはない」ということは誤っているなら混ざるということはない fact3: 「「石室規模でないししかも色っぽい」ということは成り立たないなら電話しない」ものはある fact4: 仮にその窯出しが震うなら混ざらない fact5: もし仮にその窯出しは震わないしその上成さないとすればそれは混ざらない fact6: 仮に「「その窯出しは震わないけど成す」ということは正しい」ということは成り立たないなら混ざらない fact7: 「もしも「三の丸帝でなくておまけに差し向けない」ということは偽であるならば棟木な」物はある fact8: 仮に「なにかは真新しくなくてしかもそれは体力点でない」ということは間違っているとしたらそれは高跳びでない fact9: もし仮に「とあるものは二走内でなくてそれは日産リバイバルプランでない」ということは嘘だとすればアリソン機でない fact10: 「その窯出しは震わないしそれは成さない」ということは成り立たないとしたらそれは混ざる fact11: 「もし「薄っぺらくないしそれに親しめない」ということは間違いであるとすると其れっぽくない」物はある ; $hypothesis$ = 「仮に「震わなくて加えて成さない」ということは誤りであるならば混ざらない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もし仮に成すとすれば混ざらない」物はある
事実2: もし「その窯出しは震わなくて成すということはない」ということは誤っているなら混ざるということはない
事実3: 「「石室規模でないししかも色っぽい」ということは成り立たないなら電話しない」ものはある
事実4: 仮にその窯出しが震うなら混ざらない
事実5: もし仮にその窯出しは震わないしその上成さないとすればそれは混ざらない
事実6: 仮に「「その窯出しは震わないけど成す」ということは正しい」ということは成り立たないなら混ざらない
事実7: 「もしも「三の丸帝でなくておまけに差し向けない」ということは偽であるならば棟木な」物はある
事実8: 仮に「なにかは真新しくなくてしかもそれは体力点でない」ということは間違っているとしたらそれは高跳びでない
事実9: もし仮に「とあるものは二走内でなくてそれは日産リバイバルプランでない」ということは嘘だとすればアリソン機でない
事実10: 「その窯出しは震わないしそれは成さない」ということは成り立たないとしたらそれは混ざる
事実11: 「もし「薄っぺらくないしそれに親しめない」ということは間違いであるとすると其れっぽくない」物はある

仮説: 「仮に「震わなくて加えて成さない」ということは誤りであるならば混ざらない」ものはある
1. 事実2から、仮説が導かれる

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