「その古湯は二重盲検法だということはない」ということは正しい
fact1: 「このサングラスは二重盲検法であるか喜劇映画だ」ということは間違いである fact2: もしこのサングラスが喜劇映画でないとすれば二重盲検法だということはない fact3: もしも何かは失格でないとしたら「それは二重盲検法であるか喜劇映画であるか両方だ」ということは間違いだ fact4: 仮にこの認否書が窄めるならその古湯は二重盲検法である fact5: 「窄めるしさらに嗚咽である」ものはある fact6: 全てのものは首尾一貫する fact7: もし仮に何らかのものが宮殿でないとすれば例外無くない fact8: 「窄めない」物があるならこのサングラスは嗚咽でない fact9: 何かは嗚咽でないなら「それは喜劇映画であるかまたは失格であるかどちらもだ」ということは嘘だ fact10: その古湯は得られ易くない fact11: 「「窄めるししかも嗚咽だ」ということは間違いな」物はある fact12: 仮にこの認否書は嗚咽ならば「その古湯は二重盲検法だ」ということは正しい fact13: 仮に「このサングラスは喜劇映画であるかそれは失格だ」ということは偽であるならばその古湯は二重盲検法でない fact14: 仮にあるものが例外無くないかもしくはそれは延期するかもしくは両方ともであるとしたら御共でない fact15: もし仮に「その古湯は失格であるかもしくは嗚咽であるかまたは両方である」ということは偽であるとするとこのサングラスは二重盲検法でない fact16: もし仮に「「窄めるし嗚咽である」ということは嘘な」ものがあるとしたらこのサングラスは嗚咽だということはない fact17: もしとあるものが首尾一貫するとすればそれは宮殿でない
fact9 -> int1: もしもこのサングラスは嗚咽でないとしたら「それは喜劇映画であるかまたは失格であるかあるいは両方ともだ」ということは間違っている; fact11 & fact16 -> int2: このサングラスは嗚咽でない; int1 & int2 -> int3: 「このサングラスは喜劇映画であるかもしくは失格であるかまたは両方である」ということは間違いである; int3 & fact13 -> hypothesis;
fact9 -> int1: ¬{A}{aa} -> ¬({AA}{aa} v {AB}{aa}); fact11 & fact16 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬({AA}{aa} v {AB}{aa}); int3 & fact13 -> hypothesis;
「その古湯は二重盲検法である」ということは成り立つ
fact18 -> int4: 仮にそのマルキストが例外無くないかそれは延期するとすれば「御共でない」ということは正しい; fact21 -> int5: あの卵細胞質全体は首尾一貫する; fact20 -> int6: あの卵細胞質全体が首尾一貫すれば宮殿でない; int5 & int6 -> int7: あの卵細胞質全体は宮殿だということはない; fact19 -> int8: 仮にあの卵細胞質全体は宮殿でないならばそれは例外無くない; int7 & int8 -> int9: あの卵細胞質全体は例外無くない; int9 -> int10: あの卵細胞質全体は例外無くないかまたは延期するかもしくは両方である; int10 -> int11: あらゆるものは例外無くないかもしくは延期する; int11 -> int12: そのマルキストは例外無くないかもしくはそれは延期するかあるいは両方ともだ; int4 & int12 -> int13: そのマルキストは御共だということはない; int13 -> int14: 「「御共でない」ということは成り立つ」ものはある;
$facts$ = fact1: 「このサングラスは二重盲検法であるか喜劇映画だ」ということは間違いである fact2: もしこのサングラスが喜劇映画でないとすれば二重盲検法だということはない fact3: もしも何かは失格でないとしたら「それは二重盲検法であるか喜劇映画であるか両方だ」ということは間違いだ fact4: 仮にこの認否書が窄めるならその古湯は二重盲検法である fact5: 「窄めるしさらに嗚咽である」ものはある fact6: 全てのものは首尾一貫する fact7: もし仮に何らかのものが宮殿でないとすれば例外無くない fact8: 「窄めない」物があるならこのサングラスは嗚咽でない fact9: 何かは嗚咽でないなら「それは喜劇映画であるかまたは失格であるかどちらもだ」ということは嘘だ fact10: その古湯は得られ易くない fact11: 「「窄めるししかも嗚咽だ」ということは間違いな」物はある fact12: 仮にこの認否書は嗚咽ならば「その古湯は二重盲検法だ」ということは正しい fact13: 仮に「このサングラスは喜劇映画であるかそれは失格だ」ということは偽であるならばその古湯は二重盲検法でない fact14: 仮にあるものが例外無くないかもしくはそれは延期するかもしくは両方ともであるとしたら御共でない fact15: もし仮に「その古湯は失格であるかもしくは嗚咽であるかまたは両方である」ということは偽であるとするとこのサングラスは二重盲検法でない fact16: もし仮に「「窄めるし嗚咽である」ということは嘘な」ものがあるとしたらこのサングラスは嗚咽だということはない fact17: もしとあるものが首尾一貫するとすればそれは宮殿でない ; $hypothesis$ = 「その古湯は二重盲検法だということはない」ということは正しい ; $proof$ = 
fact9 -> int1: もしもこのサングラスは嗚咽でないとしたら「それは喜劇映画であるかまたは失格であるかあるいは両方ともだ」ということは間違っている; fact11 & fact16 -> int2: このサングラスは嗚咽でない; int1 & int2 -> int3: 「このサングラスは喜劇映画であるかもしくは失格であるかまたは両方である」ということは間違いである; int3 & fact13 -> hypothesis; __PROVED__
事実1: 「このサングラスは二重盲検法であるか喜劇映画だ」ということは間違いである
事実2: もしこのサングラスが喜劇映画でないとすれば二重盲検法だということはない
事実3: もしも何かは失格でないとしたら「それは二重盲検法であるか喜劇映画であるか両方だ」ということは間違いだ
事実4: 仮にこの認否書が窄めるならその古湯は二重盲検法である
事実5: 「窄めるしさらに嗚咽である」ものはある
事実6: 全てのものは首尾一貫する
事実7: もし仮に何らかのものが宮殿でないとすれば例外無くない
事実8: 「窄めない」物があるならこのサングラスは嗚咽でない
事実9: 何かは嗚咽でないなら「それは喜劇映画であるかまたは失格であるかどちらもだ」ということは嘘だ
事実10: その古湯は得られ易くない
事実11: 「「窄めるししかも嗚咽だ」ということは間違いな」物はある
事実12: 仮にこの認否書は嗚咽ならば「その古湯は二重盲検法だ」ということは正しい
事実13: 仮に「このサングラスは喜劇映画であるかそれは失格だ」ということは偽であるならばその古湯は二重盲検法でない
事実14: 仮にあるものが例外無くないかもしくはそれは延期するかもしくは両方ともであるとしたら御共でない
事実15: もし仮に「その古湯は失格であるかもしくは嗚咽であるかまたは両方である」ということは偽であるとするとこのサングラスは二重盲検法でない
事実16: もし仮に「「窄めるし嗚咽である」ということは嘘な」ものがあるとしたらこのサングラスは嗚咽だということはない
事実17: もしとあるものが首尾一貫するとすればそれは宮殿でない

仮説: 「その古湯は二重盲検法だということはない」ということは正しい
1. 事実9から、推論1: "もしもこのサングラスは嗚咽でないとしたら「それは喜劇映画であるかまたは失格であるかあるいは両方ともだ」ということは間違っている"が導かれる
2. 事実11と事実16から、推論2: "このサングラスは嗚咽でない"が導かれる
3. 推論1と推論2から、推論3: "「このサングラスは喜劇映画であるかもしくは失格であるかまたは両方である」ということは間違いである"が導かれる
4. 推論3と事実13から、仮説が導かれる

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