「もし仮にこの雷雨は食道下部でないとしたら「その消費者相談は引き摺り上げないしさらに昂進しない」ということは成り立たない」ということは成り立たない
fact1: もしもこの雷雨は昂進しないとすると「「その消費者相談は食道下部であるということはなくて引き摺り上げない」ということは誤りだ」ということは正しい fact2: もしも「この雷雨は引き摺り上げない」ということは正しいとしたら昂進しない fact3: もし仮にこの雷雨が引き摺り上げないとすると食道下部でない fact4: 「その消費者相談は得難しないがしかし非笊である」ということは偽だ fact5: もしこの雷雨は食道下部でないなら「その消費者相談は引き摺り上げるがそれは昂進しない」ということは間違っている fact6: 仮にこの雷雨は食道下部でないならばそれは昂進しない fact7: もし仮にこの雷雨は食道下部でないとしたら「その消費者相談は引き摺り上げないけど昂進する」ということは事実と異なる fact8: もし「この雷雨は昂進するということはない」ということは事実であるとすれば「その消費者相談は引き摺り上げない一方で昂進する」ということは偽だ fact9: もしこの雷雨は昂進しないならば「その消費者相談が引き摺り上げないしさらにそれは昂進しない」ということは誤っている fact10: 「この雷雨は複数台であるけど昂進しない」ということは成り立たない fact11: 「この雷雨は引き摺り上げない」ということは確かであるとしたら「その消費者相談は食道下部でないしさらにそれは昂進しない」ということは真実でない fact12: 仮にこの雷雨は昂進しないとすると「その消費者相談は引き摺り上げる一方でそれは昂進しない」ということは事実と異なる fact13: 「その消費者相談は引き摺り上げないが昂進する」ということは本当でない fact14: その消費者相談は食道下部だとすると「この雷雨は引き摺り上げないしまた昂進するということはない」ということは事実でない fact15: もし仮にこの雷雨は昂進しないなら「その消費者相談は引き摺り上げるということはなくておまけに昂進しない」ということは真実だ
void -> assump1: 以下のように仮定する。この雷雨は食道下部でない; fact6 & assump1 -> int1: 「この雷雨は昂進するということはない」ということは真実だ; int1 & fact9 -> int2: 「その消費者相談は引き摺り上げないしそれに昂進しない」ということは本当であるということはない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしもこの雷雨は昂進しないとすると「「その消費者相談は食道下部であるということはなくて引き摺り上げない」ということは誤りだ」ということは正しい fact2: もしも「この雷雨は引き摺り上げない」ということは正しいとしたら昂進しない fact3: もし仮にこの雷雨が引き摺り上げないとすると食道下部でない fact4: 「その消費者相談は得難しないがしかし非笊である」ということは偽だ fact5: もしこの雷雨は食道下部でないなら「その消費者相談は引き摺り上げるがそれは昂進しない」ということは間違っている fact6: 仮にこの雷雨は食道下部でないならばそれは昂進しない fact7: もし仮にこの雷雨は食道下部でないとしたら「その消費者相談は引き摺り上げないけど昂進する」ということは事実と異なる fact8: もし「この雷雨は昂進するということはない」ということは事実であるとすれば「その消費者相談は引き摺り上げない一方で昂進する」ということは偽だ fact9: もしこの雷雨は昂進しないならば「その消費者相談が引き摺り上げないしさらにそれは昂進しない」ということは誤っている fact10: 「この雷雨は複数台であるけど昂進しない」ということは成り立たない fact11: 「この雷雨は引き摺り上げない」ということは確かであるとしたら「その消費者相談は食道下部でないしさらにそれは昂進しない」ということは真実でない fact12: 仮にこの雷雨は昂進しないとすると「その消費者相談は引き摺り上げる一方でそれは昂進しない」ということは事実と異なる fact13: 「その消費者相談は引き摺り上げないが昂進する」ということは本当でない fact14: その消費者相談は食道下部だとすると「この雷雨は引き摺り上げないしまた昂進するということはない」ということは事実でない fact15: もし仮にこの雷雨は昂進しないなら「その消費者相談は引き摺り上げるということはなくておまけに昂進しない」ということは真実だ ; $hypothesis$ = 「もし仮にこの雷雨は食道下部でないとしたら「その消費者相談は引き摺り上げないしさらに昂進しない」ということは成り立たない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この雷雨は食道下部でない; fact6 & assump1 -> int1: 「この雷雨は昂進するということはない」ということは真実だ; int1 & fact9 -> int2: 「その消費者相談は引き摺り上げないしそれに昂進しない」ということは本当であるということはない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしもこの雷雨は昂進しないとすると「「その消費者相談は食道下部であるということはなくて引き摺り上げない」ということは誤りだ」ということは正しい
事実2: もしも「この雷雨は引き摺り上げない」ということは正しいとしたら昂進しない
事実3: もし仮にこの雷雨が引き摺り上げないとすると食道下部でない
事実4: 「その消費者相談は得難しないがしかし非笊である」ということは偽だ
事実5: もしこの雷雨は食道下部でないなら「その消費者相談は引き摺り上げるがそれは昂進しない」ということは間違っている
事実6: 仮にこの雷雨は食道下部でないならばそれは昂進しない
事実7: もし仮にこの雷雨は食道下部でないとしたら「その消費者相談は引き摺り上げないけど昂進する」ということは事実と異なる
事実8: もし「この雷雨は昂進するということはない」ということは事実であるとすれば「その消費者相談は引き摺り上げない一方で昂進する」ということは偽だ
事実9: もしこの雷雨は昂進しないならば「その消費者相談が引き摺り上げないしさらにそれは昂進しない」ということは誤っている
事実10: 「この雷雨は複数台であるけど昂進しない」ということは成り立たない
事実11: 「この雷雨は引き摺り上げない」ということは確かであるとしたら「その消費者相談は食道下部でないしさらにそれは昂進しない」ということは真実でない
事実12: 仮にこの雷雨は昂進しないとすると「その消費者相談は引き摺り上げる一方でそれは昂進しない」ということは事実と異なる
事実13: 「その消費者相談は引き摺り上げないが昂進する」ということは本当でない
事実14: その消費者相談は食道下部だとすると「この雷雨は引き摺り上げないしまた昂進するということはない」ということは事実でない
事実15: もし仮にこの雷雨は昂進しないなら「その消費者相談は引き摺り上げるということはなくておまけに昂進しない」ということは真実だ

仮説: 「もし仮にこの雷雨は食道下部でないとしたら「その消費者相談は引き摺り上げないしさらに昂進しない」ということは成り立たない」ということは成り立たない
1. 仮定1: 以下のように仮定する。この雷雨は食道下部でない
2. 事実6と仮定1から、推論1: "「この雷雨は昂進するということはない」ということは真実だ"が導かれる
3. 推論1と事実9から、推論2: "「その消費者相談は引き摺り上げないしそれに昂進しない」ということは本当であるということはない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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