あの相関マトリックスは忌まわしい
fact1: あの相関マトリックスはヘルパーさんだ fact2: もしなにかは忌まわしくないとしたらあの相関マトリックスは冗談っぽい fact3: もし仮に「「水雲でない」ということは成り立つ」物はあれば「あの相関マトリックスは冗談っぽくてそれに忌まわしい」ということは本当だ fact4: もし仮に「森林面積でない」ものがあるならあの相関マトリックスは忌まわしい fact5: あの相関マトリックスは水雲だ fact6: もし「放擲しない」ものがあるとすればあの相関マトリックスは忌まわしい fact7: あるものは割れるということはない fact8: 「水雲でない」物はある fact9: なにかは忌まわしくない fact10: もしも「「冗談っぽくない」ということは真実な」物があればあの相関マトリックスは忌まわしい fact11: 仮に「冗談っぽくない」ものがあるならあの相関マトリックスは性的興奮であるししかも置換する
fact8 & fact3 -> int1: あの相関マトリックスは冗談っぽくておまけにそれは忌まわしい; int1 -> hypothesis;
$facts$ = fact1: あの相関マトリックスはヘルパーさんだ fact2: もしなにかは忌まわしくないとしたらあの相関マトリックスは冗談っぽい fact3: もし仮に「「水雲でない」ということは成り立つ」物はあれば「あの相関マトリックスは冗談っぽくてそれに忌まわしい」ということは本当だ fact4: もし仮に「森林面積でない」ものがあるならあの相関マトリックスは忌まわしい fact5: あの相関マトリックスは水雲だ fact6: もし「放擲しない」ものがあるとすればあの相関マトリックスは忌まわしい fact7: あるものは割れるということはない fact8: 「水雲でない」物はある fact9: なにかは忌まわしくない fact10: もしも「「冗談っぽくない」ということは真実な」物があればあの相関マトリックスは忌まわしい fact11: 仮に「冗談っぽくない」ものがあるならあの相関マトリックスは性的興奮であるししかも置換する ; $hypothesis$ = あの相関マトリックスは忌まわしい ; $proof$ = 
fact8 & fact3 -> int1: あの相関マトリックスは冗談っぽくておまけにそれは忌まわしい; int1 -> hypothesis; __PROVED__
事実1: あの相関マトリックスはヘルパーさんだ
事実2: もしなにかは忌まわしくないとしたらあの相関マトリックスは冗談っぽい
事実3: もし仮に「「水雲でない」ということは成り立つ」物はあれば「あの相関マトリックスは冗談っぽくてそれに忌まわしい」ということは本当だ
事実4: もし仮に「森林面積でない」ものがあるならあの相関マトリックスは忌まわしい
事実5: あの相関マトリックスは水雲だ
事実6: もし「放擲しない」ものがあるとすればあの相関マトリックスは忌まわしい
事実7: あるものは割れるということはない
事実8: 「水雲でない」物はある
事実9: なにかは忌まわしくない
事実10: もしも「「冗談っぽくない」ということは真実な」物があればあの相関マトリックスは忌まわしい
事実11: 仮に「冗談っぽくない」ものがあるならあの相関マトリックスは性的興奮であるししかも置換する

仮説: あの相関マトリックスは忌まわしい
1. 事実8と事実3から、推論1: "あの相関マトリックスは冗談っぽくておまけにそれは忌まわしい"が導かれる
2. 推論1から、仮説が導かれる

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