この縁語は横振動であるしおまけにでっかい
fact1: 「「この縁語はＡＳＰ．ネットでない一方ででっかい」ということは間違いだ」ということは正しい fact2: もし仮にこのケンブリッジ学派がセレクションでないとするとこの縁語は横振動だ fact3: もしも「このケンブリッジ学派は空焼きしないがセレクションである」ということは成り立たないとしたらこの縁語は横振動だ fact4: もし仮にこのケンブリッジ学派が五十七人だということはないとすればその地方公務員はでっかくて横振動である fact5: このケンブリッジ学派はでっかい fact6: なにかはでっかいならば「保護主義でなくて加えてそれはセレクションでない」ということは嘘である fact7: 「「「この縁語はＡＳＰ．ネットでなくてしかもそれは左右され易いということはない」ということは本当でない」ということは確かであるとすればあのケンブリッジ学派は五十七人でない」ということは事実だ fact8: 「この縁語はＡＳＰ．ネットでなくてしかもそれはでっかくない」ということは成り立たない fact9: 「このケンブリッジ学派は空焼きしないけどＡＳＰ．ネットである」ということは成り立たない fact10: もし仮に「この縁語はＡＳＰ．ネットでないしそれにでっかくない」ということは成り立つということはないとするとそれはでっかい fact11: あの特性Ｘ線はでっかい fact12: 「このケンブリッジ学派は空焼きしないけれどセレクションである」ということは成り立たない
fact3 & fact12 -> int1: この縁語は横振動だ; fact8 & fact10 -> int2: この縁語はでっかい; int1 & int2 -> hypothesis;
「その地方公務員は保護主義でなくておまけにセレクションだということはない」ということは嘘だ
fact15 -> int3: 仮にその地方公務員はでっかいなら「それは保護主義でないし加えてセレクションでない」ということは嘘である;
$facts$ = fact1: 「「この縁語はＡＳＰ．ネットでない一方ででっかい」ということは間違いだ」ということは正しい fact2: もし仮にこのケンブリッジ学派がセレクションでないとするとこの縁語は横振動だ fact3: もしも「このケンブリッジ学派は空焼きしないがセレクションである」ということは成り立たないとしたらこの縁語は横振動だ fact4: もし仮にこのケンブリッジ学派が五十七人だということはないとすればその地方公務員はでっかくて横振動である fact5: このケンブリッジ学派はでっかい fact6: なにかはでっかいならば「保護主義でなくて加えてそれはセレクションでない」ということは嘘である fact7: 「「「この縁語はＡＳＰ．ネットでなくてしかもそれは左右され易いということはない」ということは本当でない」ということは確かであるとすればあのケンブリッジ学派は五十七人でない」ということは事実だ fact8: 「この縁語はＡＳＰ．ネットでなくてしかもそれはでっかくない」ということは成り立たない fact9: 「このケンブリッジ学派は空焼きしないけどＡＳＰ．ネットである」ということは成り立たない fact10: もし仮に「この縁語はＡＳＰ．ネットでないしそれにでっかくない」ということは成り立つということはないとするとそれはでっかい fact11: あの特性Ｘ線はでっかい fact12: 「このケンブリッジ学派は空焼きしないけれどセレクションである」ということは成り立たない ; $hypothesis$ = この縁語は横振動であるしおまけにでっかい ; $proof$ = 
fact3 & fact12 -> int1: この縁語は横振動だ; fact8 & fact10 -> int2: この縁語はでっかい; int1 & int2 -> hypothesis; __PROVED__
事実1: 「「この縁語はＡＳＰ．ネットでない一方ででっかい」ということは間違いだ」ということは正しい
事実2: もし仮にこのケンブリッジ学派がセレクションでないとするとこの縁語は横振動だ
事実3: もしも「このケンブリッジ学派は空焼きしないがセレクションである」ということは成り立たないとしたらこの縁語は横振動だ
事実4: もし仮にこのケンブリッジ学派が五十七人だということはないとすればその地方公務員はでっかくて横振動である
事実5: このケンブリッジ学派はでっかい
事実6: なにかはでっかいならば「保護主義でなくて加えてそれはセレクションでない」ということは嘘である
事実7: 「「「この縁語はＡＳＰ．ネットでなくてしかもそれは左右され易いということはない」ということは本当でない」ということは確かであるとすればあのケンブリッジ学派は五十七人でない」ということは事実だ
事実8: 「この縁語はＡＳＰ．ネットでなくてしかもそれはでっかくない」ということは成り立たない
事実9: 「このケンブリッジ学派は空焼きしないけどＡＳＰ．ネットである」ということは成り立たない
事実10: もし仮に「この縁語はＡＳＰ．ネットでないしそれにでっかくない」ということは成り立つということはないとするとそれはでっかい
事実11: あの特性Ｘ線はでっかい
事実12: 「このケンブリッジ学派は空焼きしないけれどセレクションである」ということは成り立たない

仮説: この縁語は横振動であるしおまけにでっかい
1. 事実3と事実12から、推論1: "この縁語は横振動だ"が導かれる
2. 事実8と事実10から、推論2: "この縁語はでっかい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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