「その文化祭は浸出するし気高い」ということは成り立たない
fact1: 仮に「その文化祭は賛成し難くないし厳しかない」ということは嘘だとするとそれは浸出する fact2: もしその文化祭が賛成し難いとすればそれは浸出する fact3: 何かはＺＺであるとすると「気高くなくておまけに絶え間無くない」ということは間違いである fact4: それは賛成し難くないしそれにそれは厳しかないという物はない fact5: もしも「あの弾力性εは絶え間無いがしかし気高くない」ということは嘘であるならば「その文化祭は気高い」ということは正しい fact6: あの弾力性εが気高いとするとその文化祭は気高い fact7: あの帆さんはぶれる fact8: もしも「あの弾力性εは気高くなくてまた絶え間無いということはない」ということは間違いであるならその軍事演習は気高い fact9: もし「あの帆さんは御仕えしないけど描く」ということは事実と異なればそれは飛び続けない fact10: 「その文化祭は賛成し難いけれど厳しいということはない」ということは事実と異なる fact11: もしも弁解がましいものが気高いとしたら浸出しない fact12: 賛成し難いししかも厳しいということはない物はない fact13: もしもあの帆さんはぶれるなら「それは御仕えしないがしかし描く」ということは本当でない fact14: もし仮に「「世知辛くないしさらに弁解がましくらない」ということは成り立たない」物があるとするとその軍事演習は弁解がましい fact15: 「あの弾力性εは絶え間無いししかも気高い」ということは成り立たない fact16: もしあの帆さんは飛び続けないならば「あの御守りが世知辛いということはないしさらにそれが弁解はましくらない」ということは成り立たない fact17: あるものは浸出しないとすると「それは漏れ出るということはなくてそれは薄れ始めるということはない」ということは誤りである fact18: 「あの弾力性εは絶え間無いがしかし気高くない」ということは間違っている
fact4 -> int1: 「その文化祭は賛成し難いということはないし厳しかない」ということは嘘である; int1 & fact1 -> int2: その文化祭は浸出する; fact5 & fact18 -> int3: その文化祭は気高い; int2 & int3 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: {A}{aa}; fact5 & fact18 -> int3: {B}{aa}; int2 & int3 -> hypothesis;
「その軍事演習は漏れ出なくてしかも薄れ始めない」ということは間違いである
fact23 -> int4: その軍事演習は浸出しないとすると「それは漏れ出るということはないし更に薄れ始めない」ということは間違っている; fact25 -> int5: その軍事演習が弁解がましいし加えてそれが気高いとすれば浸出しない; fact27 & fact20 -> int6: 「あの帆さんは御仕えしないが描く」ということは偽である; fact21 & int6 -> int7: 「あの帆さんは飛び続けない」ということは成り立つ; fact19 & int7 -> int8: 「あの御守りが世知辛くないし更に弁解はましくらない」ということは嘘である; int8 -> int9: 「「世知辛くないし弁解がましくらない」ということは成り立たない」ものはある; int9 & fact22 -> int10: 「その軍事演習が弁解はましくらない」ということは間違っている; fact26 -> int11: もしもあの弾力性εはＺＺであるとしたら「気高くないしその上絶え間無くない」ということは成り立たない;
$facts$ = fact1: 仮に「その文化祭は賛成し難くないし厳しかない」ということは嘘だとするとそれは浸出する fact2: もしその文化祭が賛成し難いとすればそれは浸出する fact3: 何かはＺＺであるとすると「気高くなくておまけに絶え間無くない」ということは間違いである fact4: それは賛成し難くないしそれにそれは厳しかないという物はない fact5: もしも「あの弾力性εは絶え間無いがしかし気高くない」ということは嘘であるならば「その文化祭は気高い」ということは正しい fact6: あの弾力性εが気高いとするとその文化祭は気高い fact7: あの帆さんはぶれる fact8: もしも「あの弾力性εは気高くなくてまた絶え間無いということはない」ということは間違いであるならその軍事演習は気高い fact9: もし「あの帆さんは御仕えしないけど描く」ということは事実と異なればそれは飛び続けない fact10: 「その文化祭は賛成し難いけれど厳しいということはない」ということは事実と異なる fact11: もしも弁解がましいものが気高いとしたら浸出しない fact12: 賛成し難いししかも厳しいということはない物はない fact13: もしもあの帆さんはぶれるなら「それは御仕えしないがしかし描く」ということは本当でない fact14: もし仮に「「世知辛くないしさらに弁解がましくらない」ということは成り立たない」物があるとするとその軍事演習は弁解がましい fact15: 「あの弾力性εは絶え間無いししかも気高い」ということは成り立たない fact16: もしあの帆さんは飛び続けないならば「あの御守りが世知辛いということはないしさらにそれが弁解はましくらない」ということは成り立たない fact17: あるものは浸出しないとすると「それは漏れ出るということはなくてそれは薄れ始めるということはない」ということは誤りである fact18: 「あの弾力性εは絶え間無いがしかし気高くない」ということは間違っている ; $hypothesis$ = 「その文化祭は浸出するし気高い」ということは成り立たない ; $proof$ = 
fact4 -> int1: 「その文化祭は賛成し難いということはないし厳しかない」ということは嘘である; int1 & fact1 -> int2: その文化祭は浸出する; fact5 & fact18 -> int3: その文化祭は気高い; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮に「その文化祭は賛成し難くないし厳しかない」ということは嘘だとするとそれは浸出する
事実2: もしその文化祭が賛成し難いとすればそれは浸出する
事実3: 何かはＺＺであるとすると「気高くなくておまけに絶え間無くない」ということは間違いである
事実4: それは賛成し難くないしそれにそれは厳しかないという物はない
事実5: もしも「あの弾力性εは絶え間無いがしかし気高くない」ということは嘘であるならば「その文化祭は気高い」ということは正しい
事実6: あの弾力性εが気高いとするとその文化祭は気高い
事実7: あの帆さんはぶれる
事実8: もしも「あの弾力性εは気高くなくてまた絶え間無いということはない」ということは間違いであるならその軍事演習は気高い
事実9: もし「あの帆さんは御仕えしないけど描く」ということは事実と異なればそれは飛び続けない
事実10: 「その文化祭は賛成し難いけれど厳しいということはない」ということは事実と異なる
事実11: もしも弁解がましいものが気高いとしたら浸出しない
事実12: 賛成し難いししかも厳しいということはない物はない
事実13: もしもあの帆さんはぶれるなら「それは御仕えしないがしかし描く」ということは本当でない
事実14: もし仮に「「世知辛くないしさらに弁解がましくらない」ということは成り立たない」物があるとするとその軍事演習は弁解がましい
事実15: 「あの弾力性εは絶え間無いししかも気高い」ということは成り立たない
事実16: もしあの帆さんは飛び続けないならば「あの御守りが世知辛いということはないしさらにそれが弁解はましくらない」ということは成り立たない
事実17: あるものは浸出しないとすると「それは漏れ出るということはなくてそれは薄れ始めるということはない」ということは誤りである
事実18: 「あの弾力性εは絶え間無いがしかし気高くない」ということは間違っている

仮説: 「その文化祭は浸出するし気高い」ということは成り立たない
1. 事実4から、推論1: "「その文化祭は賛成し難いということはないし厳しかない」ということは嘘である"が導かれる
2. 推論1と事実1から、推論2: "その文化祭は浸出する"が導かれる
3. 事実5と事実18から、推論3: "その文化祭は気高い"が導かれる
4. 推論2と推論3から、仮説が否定される

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