「あの制限免除主義は発表タームだ」ということは正しい
fact1: もしもとある物が黄色くないとすればそれは一必殺技であるかあるいは発表タームであるかまたは両方ともである fact2: あの制限免除主義は生まれ付かない fact3: あの制限免除主義は潔しない fact4: 仮に何かは甘ーくないけれどそれが達するなら発表タームでない fact5: もし「その空気抵抗は甘ーいしそれに封ずる」ということは偽であるならばそれは封ぜない fact6: もしもなにかは一必殺技でないがしかし黄色いならそれは発表タームでない fact7: あるものが黄色いし加えてそれが達するとしたらそれは一必殺技でない fact8: なにがしかのものが一必殺技だということはないとするとそれは甘ーいということはないがしかし達する fact9: その背は黄色くない fact10: 仮に「あの制限免除主義は黄色いししかも一必殺技だ」ということは誤りであるとするとそれは一必殺技でない fact11: もし仮に「その豚草は甘ーいかもしくは発表タームであるかあるいはどちらもだ」ということは成り立つとするとそのパイ生地は甘ーくない fact12: 「あの制限免除主義はＸ≅Ｐワンだしでかい」ということは嘘だとするとそれはでかくない fact13: 「あの制限免除主義は黄色いし一必殺技である」ということは本当でない
fact8 -> int1: あの制限免除主義が一必殺技でないならばそれは甘ーくないしかつそれは達する; fact13 & fact10 -> int2: 「あの制限免除主義は一必殺技でない」ということは誤りだということはない; int1 & int2 -> int3: あの制限免除主義は甘ーくないが達する; fact4 -> int4: もし「あの制限免除主義は甘ーくないがしかし達する」ということは成り立つとしたらそれは発表タームでない; int3 & int4 -> hypothesis;
fact8 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact13 & fact10 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & {AB}{aa}); fact4 -> int4: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int3 & int4 -> hypothesis;
そのパイ生地は甘ーくない
$facts$ = fact1: もしもとある物が黄色くないとすればそれは一必殺技であるかあるいは発表タームであるかまたは両方ともである fact2: あの制限免除主義は生まれ付かない fact3: あの制限免除主義は潔しない fact4: 仮に何かは甘ーくないけれどそれが達するなら発表タームでない fact5: もし「その空気抵抗は甘ーいしそれに封ずる」ということは偽であるならばそれは封ぜない fact6: もしもなにかは一必殺技でないがしかし黄色いならそれは発表タームでない fact7: あるものが黄色いし加えてそれが達するとしたらそれは一必殺技でない fact8: なにがしかのものが一必殺技だということはないとするとそれは甘ーいということはないがしかし達する fact9: その背は黄色くない fact10: 仮に「あの制限免除主義は黄色いししかも一必殺技だ」ということは誤りであるとするとそれは一必殺技でない fact11: もし仮に「その豚草は甘ーいかもしくは発表タームであるかあるいはどちらもだ」ということは成り立つとするとそのパイ生地は甘ーくない fact12: 「あの制限免除主義はＸ≅Ｐワンだしでかい」ということは嘘だとするとそれはでかくない fact13: 「あの制限免除主義は黄色いし一必殺技である」ということは本当でない ; $hypothesis$ = 「あの制限免除主義は発表タームだ」ということは正しい ; $proof$ = 
fact8 -> int1: あの制限免除主義が一必殺技でないならばそれは甘ーくないしかつそれは達する; fact13 & fact10 -> int2: 「あの制限免除主義は一必殺技でない」ということは誤りだということはない; int1 & int2 -> int3: あの制限免除主義は甘ーくないが達する; fact4 -> int4: もし「あの制限免除主義は甘ーくないがしかし達する」ということは成り立つとしたらそれは発表タームでない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしもとある物が黄色くないとすればそれは一必殺技であるかあるいは発表タームであるかまたは両方ともである
事実2: あの制限免除主義は生まれ付かない
事実3: あの制限免除主義は潔しない
事実4: 仮に何かは甘ーくないけれどそれが達するなら発表タームでない
事実5: もし「その空気抵抗は甘ーいしそれに封ずる」ということは偽であるならばそれは封ぜない
事実6: もしもなにかは一必殺技でないがしかし黄色いならそれは発表タームでない
事実7: あるものが黄色いし加えてそれが達するとしたらそれは一必殺技でない
事実8: なにがしかのものが一必殺技だということはないとするとそれは甘ーいということはないがしかし達する
事実9: その背は黄色くない
事実10: 仮に「あの制限免除主義は黄色いししかも一必殺技だ」ということは誤りであるとするとそれは一必殺技でない
事実11: もし仮に「その豚草は甘ーいかもしくは発表タームであるかあるいはどちらもだ」ということは成り立つとするとそのパイ生地は甘ーくない
事実12: 「あの制限免除主義はＸ≅Ｐワンだしでかい」ということは嘘だとするとそれはでかくない
事実13: 「あの制限免除主義は黄色いし一必殺技である」ということは本当でない

仮説: 「あの制限免除主義は発表タームだ」ということは正しい
1. 事実8から、推論1: "あの制限免除主義が一必殺技でないならばそれは甘ーくないしかつそれは達する"が導かれる
2. 事実13と事実10から、推論2: "「あの制限免除主義は一必殺技でない」ということは誤りだということはない"が導かれる
3. 推論1と推論2から、推論3: "あの制限免除主義は甘ーくないが達する"が導かれる
4. 事実4から、推論4: "もし「あの制限免除主義は甘ーくないがしかし達する」ということは成り立つとしたらそれは発表タームでない"が導かれる
5. 推論3と推論4から、仮説が否定される

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