「「「講演しないがしかし掛け替える」ということは成り立たないとしたら末恐ろしいということはない」ものはある」ということは成り立たない
fact1: 「もしも「講演しなくておまけに掛け替える」ということは成り立たないとすると末恐ろしい」ものはある fact2: 「とあるものは親らしくないけど称し得る」ということは成り立つということはないとすると麗々しいということはない fact3: もしも何かは講演しない一方で掛け替えるとしたら「それは末恐ろしくない」ということは確かだ fact4: 「「講演する」ということは成り立つとすれば末恐ろしくない」ものはある fact5: 仮にこの学科試験は講演するとすると「末恐ろしいということはない」ということは事実だ fact6: 「「もし「講演するしさらに掛け替える」ということは偽だとすれば「末恐ろしくない」ということは成り立つ」物はある」ということは本当だ fact7: 「なにかは講演しないけれど掛け替える」ということは間違っているとしたらそれは末恐ろしくない fact8: 「もし仮に講演しないし加えて掛け替えるとすれば末恐ろしくない」ものはある
fact7 -> int1: 仮に「この学科試験は講演しない一方で掛け替える」ということは成り立たないならば末恐ろしくない; int1 -> hypothesis;
fact7 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
「もしも「親らしくないが称し得る」ということは正しいということはないならば麗々しくない」ものはある
fact9 -> int2: もし仮に「このＯ・Ａ・コーポレーションは親らしくないけど称し得る」ということは成り立たないとすれば麗々しくない; int2 -> hypothesis;
$facts$ = fact1: 「もしも「講演しなくておまけに掛け替える」ということは成り立たないとすると末恐ろしい」ものはある fact2: 「とあるものは親らしくないけど称し得る」ということは成り立つということはないとすると麗々しいということはない fact3: もしも何かは講演しない一方で掛け替えるとしたら「それは末恐ろしくない」ということは確かだ fact4: 「「講演する」ということは成り立つとすれば末恐ろしくない」ものはある fact5: 仮にこの学科試験は講演するとすると「末恐ろしいということはない」ということは事実だ fact6: 「「もし「講演するしさらに掛け替える」ということは偽だとすれば「末恐ろしくない」ということは成り立つ」物はある」ということは本当だ fact7: 「なにかは講演しないけれど掛け替える」ということは間違っているとしたらそれは末恐ろしくない fact8: 「もし仮に講演しないし加えて掛け替えるとすれば末恐ろしくない」ものはある ; $hypothesis$ = 「「「講演しないがしかし掛け替える」ということは成り立たないとしたら末恐ろしいということはない」ものはある」ということは成り立たない ; $proof$ = 
fact7 -> int1: 仮に「この学科試験は講演しない一方で掛け替える」ということは成り立たないならば末恐ろしくない; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも「講演しなくておまけに掛け替える」ということは成り立たないとすると末恐ろしい」ものはある
事実2: 「とあるものは親らしくないけど称し得る」ということは成り立つということはないとすると麗々しいということはない
事実3: もしも何かは講演しない一方で掛け替えるとしたら「それは末恐ろしくない」ということは確かだ
事実4: 「「講演する」ということは成り立つとすれば末恐ろしくない」ものはある
事実5: 仮にこの学科試験は講演するとすると「末恐ろしいということはない」ということは事実だ
事実6: 「「もし「講演するしさらに掛け替える」ということは偽だとすれば「末恐ろしくない」ということは成り立つ」物はある」ということは本当だ
事実7: 「なにかは講演しないけれど掛け替える」ということは間違っているとしたらそれは末恐ろしくない
事実8: 「もし仮に講演しないし加えて掛け替えるとすれば末恐ろしくない」ものはある

仮説: 「「「講演しないがしかし掛け替える」ということは成り立たないとしたら末恐ろしいということはない」ものはある」ということは成り立たない
1. 事実7から、推論1: "仮に「この学科試験は講演しない一方で掛け替える」ということは成り立たないならば末恐ろしくない"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。