「あのＨＤＤはコルチゾール生合成系でないかもしくは水系塗料である」ということは成り立たない
fact1: 仮にその精進湖が十四世紀中頃だがしかし水系塗料であるということはないとすれば「あの直接的影響は別紙改正要領である」ということは確かである fact2: 別紙改正要領はコルチゾール生合成系でないかもしくは区別し易いかまたは両方ともだ fact3: もし仮にその精進湖は別紙改正要領であるならば「あのディスコント・ゲゼルシャフトは粋がらないしその上空気層でない」ということは偽だ fact4: もし仮に「とあるものは別紙改正要領でないしその上それは水系塗料でない」ということは事実でないならそれはコルチゾール生合成系である fact5: 仮に「なにかはコルチゾール生合成系でないし水系塗料でない」ということは間違いであるならば粋がる fact6: もし仮に「あのディスコント・ゲゼルシャフトは別紙改正要領でないし加えて粋がらない」ということは成り立たないとすると水系塗料だ fact7: もし仮にあのディスコント・ゲゼルシャフトが水系塗料ならあのＨＤＤは水系塗料でないか粋がるかもしくは両方である fact8: もしも「あのディスコント・ゲゼルシャフトはコルチゾール生合成系でないししかも別紙改正要領でない」ということは事実と異なれば空気層だ fact9: あのＨＤＤは空気層である fact10: その精進湖は別紙改正要領である fact11: もしも「なにかは粋がらないしさらに空気層でない」ということは成り立つということはないとすればコルチゾール生合成系だ fact12: もしあのディスコント・ゲゼルシャフトがコルチゾール生合成系ならあのＨＤＤはコルチゾール生合成系でないかまたは水系塗料である fact13: 「その精進湖は空気層であるということはなくて更に別紙改正要領だということはない」ということは正しくない fact14: 「あのディスコント・ゲゼルシャフトは粋がるがしかし寒しない」ということは誤っている
fact3 & fact10 -> int1: 「「あのディスコント・ゲゼルシャフトは粋がらないし更にそれは空気層でない」ということは誤りだ」ということは正しい; fact11 -> int2: 「あのディスコント・ゲゼルシャフトは粋がらなくてまた空気層でない」ということは真実でないとするとそれはコルチゾール生合成系だ; int1 & int2 -> int3: あのディスコント・ゲゼルシャフトはコルチゾール生合成系だ; int3 & fact12 -> hypothesis;
fact3 & fact10 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); fact11 -> int2: ¬(¬{AA}{b} & ¬{AB}{b}) -> {B}{b}; int1 & int2 -> int3: {B}{b}; int3 & fact12 -> hypothesis;
あの直接的影響はコルチゾール生合成系でないかあるいは区別し易い
fact16 -> int4: あの直接的影響が別紙改正要領であるとすればそれはコルチゾール生合成系でないか区別し易いかまたはどちらもだ;
$facts$ = fact1: 仮にその精進湖が十四世紀中頃だがしかし水系塗料であるということはないとすれば「あの直接的影響は別紙改正要領である」ということは確かである fact2: 別紙改正要領はコルチゾール生合成系でないかもしくは区別し易いかまたは両方ともだ fact3: もし仮にその精進湖は別紙改正要領であるならば「あのディスコント・ゲゼルシャフトは粋がらないしその上空気層でない」ということは偽だ fact4: もし仮に「とあるものは別紙改正要領でないしその上それは水系塗料でない」ということは事実でないならそれはコルチゾール生合成系である fact5: 仮に「なにかはコルチゾール生合成系でないし水系塗料でない」ということは間違いであるならば粋がる fact6: もし仮に「あのディスコント・ゲゼルシャフトは別紙改正要領でないし加えて粋がらない」ということは成り立たないとすると水系塗料だ fact7: もし仮にあのディスコント・ゲゼルシャフトが水系塗料ならあのＨＤＤは水系塗料でないか粋がるかもしくは両方である fact8: もしも「あのディスコント・ゲゼルシャフトはコルチゾール生合成系でないししかも別紙改正要領でない」ということは事実と異なれば空気層だ fact9: あのＨＤＤは空気層である fact10: その精進湖は別紙改正要領である fact11: もしも「なにかは粋がらないしさらに空気層でない」ということは成り立つということはないとすればコルチゾール生合成系だ fact12: もしあのディスコント・ゲゼルシャフトがコルチゾール生合成系ならあのＨＤＤはコルチゾール生合成系でないかまたは水系塗料である fact13: 「その精進湖は空気層であるということはなくて更に別紙改正要領だということはない」ということは正しくない fact14: 「あのディスコント・ゲゼルシャフトは粋がるがしかし寒しない」ということは誤っている ; $hypothesis$ = 「あのＨＤＤはコルチゾール生合成系でないかもしくは水系塗料である」ということは成り立たない ; $proof$ = 
fact3 & fact10 -> int1: 「「あのディスコント・ゲゼルシャフトは粋がらないし更にそれは空気層でない」ということは誤りだ」ということは正しい; fact11 -> int2: 「あのディスコント・ゲゼルシャフトは粋がらなくてまた空気層でない」ということは真実でないとするとそれはコルチゾール生合成系だ; int1 & int2 -> int3: あのディスコント・ゲゼルシャフトはコルチゾール生合成系だ; int3 & fact12 -> hypothesis; __DISPROVED__
事実1: 仮にその精進湖が十四世紀中頃だがしかし水系塗料であるということはないとすれば「あの直接的影響は別紙改正要領である」ということは確かである
事実2: 別紙改正要領はコルチゾール生合成系でないかもしくは区別し易いかまたは両方ともだ
事実3: もし仮にその精進湖は別紙改正要領であるならば「あのディスコント・ゲゼルシャフトは粋がらないしその上空気層でない」ということは偽だ
事実4: もし仮に「とあるものは別紙改正要領でないしその上それは水系塗料でない」ということは事実でないならそれはコルチゾール生合成系である
事実5: 仮に「なにかはコルチゾール生合成系でないし水系塗料でない」ということは間違いであるならば粋がる
事実6: もし仮に「あのディスコント・ゲゼルシャフトは別紙改正要領でないし加えて粋がらない」ということは成り立たないとすると水系塗料だ
事実7: もし仮にあのディスコント・ゲゼルシャフトが水系塗料ならあのＨＤＤは水系塗料でないか粋がるかもしくは両方である
事実8: もしも「あのディスコント・ゲゼルシャフトはコルチゾール生合成系でないししかも別紙改正要領でない」ということは事実と異なれば空気層だ
事実9: あのＨＤＤは空気層である
事実10: その精進湖は別紙改正要領である
事実11: もしも「なにかは粋がらないしさらに空気層でない」ということは成り立つということはないとすればコルチゾール生合成系だ
事実12: もしあのディスコント・ゲゼルシャフトがコルチゾール生合成系ならあのＨＤＤはコルチゾール生合成系でないかまたは水系塗料である
事実13: 「その精進湖は空気層であるということはなくて更に別紙改正要領だということはない」ということは正しくない
事実14: 「あのディスコント・ゲゼルシャフトは粋がるがしかし寒しない」ということは誤っている

仮説: 「あのＨＤＤはコルチゾール生合成系でないかもしくは水系塗料である」ということは成り立たない
1. 事実3と事実10から、推論1: "「「あのディスコント・ゲゼルシャフトは粋がらないし更にそれは空気層でない」ということは誤りだ」ということは正しい"が導かれる
2. 事実11から、推論2: "「あのディスコント・ゲゼルシャフトは粋がらなくてまた空気層でない」ということは真実でないとするとそれはコルチゾール生合成系だ"が導かれる
3. 推論1と推論2から、推論3: "あのディスコント・ゲゼルシャフトはコルチゾール生合成系だ"が導かれる
4. 推論3と事実12から、仮説が否定される

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