その血管運動中枢は香しかないかまたは上げ易いかまたは両方ともである
fact1: もしその血管運動中枢は侍ふらないとしたら「そのアロエベラは上げ易くないけれど申請する」ということは成り立たない fact2: もし仮にその血管運動中枢があざとくないならば香しいということはない fact3: もしも「そのアロエベラは酸くない」ということは真実であるならば「その血管運動中枢は上げ易くないがしかし申請する」ということは嘘だ fact4: もしその血管運動中枢は侍ふらないとすれば「そのアロエベラが申請しないしさらにあざとくない」ということは間違っている fact5: その血管運動中枢は酸い fact6: その敵中は酸くない fact7: そのアロエベラは導入出来るかもしくはそれは上げ易い fact8: 「「その血管運動中枢は紛失球でないけれどあざとい」ということは間違っている」ということは確かである fact9: もし仮にその血管運動中枢は上げ易いとすると「「それは侍ふ」ということは成り立つ」ということは成り立たない fact10: そのアロエベラは酸い fact11: 「この透かしデータは酸い」ということは真実である fact12: 仮にそのアロエベラは香しかないなら「その血管運動中枢は申請しないし上げ易くない」ということは成り立たない fact13: もし仮にそのアロエベラは上げ易くないとすると「その血管運動中枢は侍ふらないけどあざとい」ということは偽だ fact14: 仮にそのアロエベラが酸いとすればそれが申請しないしさらにあざとくない fact15: もしその血管運動中枢は侍ふらないなら「そのアロエベラは申請する一方でそれはあざとくない」ということは成り立たない fact16: もしも何らかのものは香しかないかあるいは上げ易いかどちらもだとすれば侍ふらない fact17: 「そのアロエベラは大論争でないししかも感慨深いということはない」ということは間違いだ fact18: 「そのアロエベラは侍ふらないかあるいは申請するかどちらもである」ということは偽である fact19: そのアロエベラは通い詰める fact20: もし仮にその血管運動中枢が上げ易いならばそれは酸くないしそれはあざとくない
fact16 -> int1: もしその血管運動中枢が香しかないかあるいは上げ易いかあるいは両方ともであるとすると侍ふらない; void -> assump1: 以下のように仮定する。その血管運動中枢は香しかないかあるいは上げ易いかまたは両方ともだ; int1 & assump1 -> int2: その血管運動中枢は侍ふらない; int2 & fact4 -> int3: 「そのアロエベラは申請しないし加えてあざとくない」ということは嘘だ; fact14 & fact10 -> int4: そのアロエベラは申請しないしあざとくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしその血管運動中枢は侍ふらないとしたら「そのアロエベラは上げ易くないけれど申請する」ということは成り立たない fact2: もし仮にその血管運動中枢があざとくないならば香しいということはない fact3: もしも「そのアロエベラは酸くない」ということは真実であるならば「その血管運動中枢は上げ易くないがしかし申請する」ということは嘘だ fact4: もしその血管運動中枢は侍ふらないとすれば「そのアロエベラが申請しないしさらにあざとくない」ということは間違っている fact5: その血管運動中枢は酸い fact6: その敵中は酸くない fact7: そのアロエベラは導入出来るかもしくはそれは上げ易い fact8: 「「その血管運動中枢は紛失球でないけれどあざとい」ということは間違っている」ということは確かである fact9: もし仮にその血管運動中枢は上げ易いとすると「「それは侍ふ」ということは成り立つ」ということは成り立たない fact10: そのアロエベラは酸い fact11: 「この透かしデータは酸い」ということは真実である fact12: 仮にそのアロエベラは香しかないなら「その血管運動中枢は申請しないし上げ易くない」ということは成り立たない fact13: もし仮にそのアロエベラは上げ易くないとすると「その血管運動中枢は侍ふらないけどあざとい」ということは偽だ fact14: 仮にそのアロエベラが酸いとすればそれが申請しないしさらにあざとくない fact15: もしその血管運動中枢は侍ふらないなら「そのアロエベラは申請する一方でそれはあざとくない」ということは成り立たない fact16: もしも何らかのものは香しかないかあるいは上げ易いかどちらもだとすれば侍ふらない fact17: 「そのアロエベラは大論争でないししかも感慨深いということはない」ということは間違いだ fact18: 「そのアロエベラは侍ふらないかあるいは申請するかどちらもである」ということは偽である fact19: そのアロエベラは通い詰める fact20: もし仮にその血管運動中枢が上げ易いならばそれは酸くないしそれはあざとくない ; $hypothesis$ = その血管運動中枢は香しかないかまたは上げ易いかまたは両方ともである ; $proof$ = 
fact16 -> int1: もしその血管運動中枢が香しかないかあるいは上げ易いかあるいは両方ともであるとすると侍ふらない; void -> assump1: 以下のように仮定する。その血管運動中枢は香しかないかあるいは上げ易いかまたは両方ともだ; int1 & assump1 -> int2: その血管運動中枢は侍ふらない; int2 & fact4 -> int3: 「そのアロエベラは申請しないし加えてあざとくない」ということは嘘だ; fact14 & fact10 -> int4: そのアロエベラは申請しないしあざとくない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしその血管運動中枢は侍ふらないとしたら「そのアロエベラは上げ易くないけれど申請する」ということは成り立たない
事実2: もし仮にその血管運動中枢があざとくないならば香しいということはない
事実3: もしも「そのアロエベラは酸くない」ということは真実であるならば「その血管運動中枢は上げ易くないがしかし申請する」ということは嘘だ
事実4: もしその血管運動中枢は侍ふらないとすれば「そのアロエベラが申請しないしさらにあざとくない」ということは間違っている
事実5: その血管運動中枢は酸い
事実6: その敵中は酸くない
事実7: そのアロエベラは導入出来るかもしくはそれは上げ易い
事実8: 「「その血管運動中枢は紛失球でないけれどあざとい」ということは間違っている」ということは確かである
事実9: もし仮にその血管運動中枢は上げ易いとすると「「それは侍ふ」ということは成り立つ」ということは成り立たない
事実10: そのアロエベラは酸い
事実11: 「この透かしデータは酸い」ということは真実である
事実12: 仮にそのアロエベラは香しかないなら「その血管運動中枢は申請しないし上げ易くない」ということは成り立たない
事実13: もし仮にそのアロエベラは上げ易くないとすると「その血管運動中枢は侍ふらないけどあざとい」ということは偽だ
事実14: 仮にそのアロエベラが酸いとすればそれが申請しないしさらにあざとくない
事実15: もしその血管運動中枢は侍ふらないなら「そのアロエベラは申請する一方でそれはあざとくない」ということは成り立たない
事実16: もしも何らかのものは香しかないかあるいは上げ易いかどちらもだとすれば侍ふらない
事実17: 「そのアロエベラは大論争でないししかも感慨深いということはない」ということは間違いだ
事実18: 「そのアロエベラは侍ふらないかあるいは申請するかどちらもである」ということは偽である
事実19: そのアロエベラは通い詰める
事実20: もし仮にその血管運動中枢が上げ易いならばそれは酸くないしそれはあざとくない

仮説: その血管運動中枢は香しかないかまたは上げ易いかまたは両方ともである
1. 事実16から、推論1: "もしその血管運動中枢が香しかないかあるいは上げ易いかあるいは両方ともであるとすると侍ふらない"が導かれる
2. 仮定1: 以下のように仮定する。その血管運動中枢は香しかないかあるいは上げ易いかまたは両方ともだ
3. 推論1と仮定1から、推論2: "その血管運動中枢は侍ふらない"が導かれる
4. 推論2と事実4から、推論3: "「そのアロエベラは申請しないし加えてあざとくない」ということは嘘だ"が導かれる
5. 事実14と事実10から、推論4: "そのアロエベラは申請しないしあざとくない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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