「「惨たらしいししかも包括する」物はある」ということは誤りだ
fact1: 「あの心太は惨たらしくないし専門農協でない」ということは誤りであるならこのハイハーバーは包括しない fact2: もし仮にこのインド亜大陸は横書き表示であるとすると「あの心太は惨たらしいということはないしおまけに専門農協でない」ということは間違いである fact3: 仮にこのインド亜大陸は水堀であるとするとそれは横書き表示である fact4: 「あの若手は水堀でないけれど来易い」ということは成り立つということはない fact5: なんらかの物は惨たらしい fact6: このハイハーバーは専門農協だ fact7: その衛星放送は水堀である fact8: このハイハーバーは惨たらしくて専門農協だ fact9: このハイハーバーが専門農協だし更にそれはいとおしい fact10: もしも「「このハイハーバーは包括しない一方でそれは水堀だ」ということは成り立つ」ということは真実であるということはないならそれは包括する fact11: 「惨たらしいしさらに専門農協な」物はある fact12: この印章は専門農協だ fact13: 「このハイハーバーは包括しないけれど水堀である」ということは嘘だ fact14: 「このハイハーバーは包括するしかつそれは水堀である」ということは成り立たない fact15: 「包括する」物はある
fact8 -> int1: このハイハーバーは惨たらしい; fact10 & fact13 -> int2: このハイハーバーは包括する; int1 & int2 -> int3: このハイハーバーは惨たらしいし包括する; int3 -> hypothesis;
「その鋼板は酒気帯びでないがしかし包括する」ということは確かでない
$facts$ = fact1: 「あの心太は惨たらしくないし専門農協でない」ということは誤りであるならこのハイハーバーは包括しない fact2: もし仮にこのインド亜大陸は横書き表示であるとすると「あの心太は惨たらしいということはないしおまけに専門農協でない」ということは間違いである fact3: 仮にこのインド亜大陸は水堀であるとするとそれは横書き表示である fact4: 「あの若手は水堀でないけれど来易い」ということは成り立つということはない fact5: なんらかの物は惨たらしい fact6: このハイハーバーは専門農協だ fact7: その衛星放送は水堀である fact8: このハイハーバーは惨たらしくて専門農協だ fact9: このハイハーバーが専門農協だし更にそれはいとおしい fact10: もしも「「このハイハーバーは包括しない一方でそれは水堀だ」ということは成り立つ」ということは真実であるということはないならそれは包括する fact11: 「惨たらしいしさらに専門農協な」物はある fact12: この印章は専門農協だ fact13: 「このハイハーバーは包括しないけれど水堀である」ということは嘘だ fact14: 「このハイハーバーは包括するしかつそれは水堀である」ということは成り立たない fact15: 「包括する」物はある ; $hypothesis$ = 「「惨たらしいししかも包括する」物はある」ということは誤りだ ; $proof$ = 
fact8 -> int1: このハイハーバーは惨たらしい; fact10 & fact13 -> int2: このハイハーバーは包括する; int1 & int2 -> int3: このハイハーバーは惨たらしいし包括する; int3 -> hypothesis; __DISPROVED__
事実1: 「あの心太は惨たらしくないし専門農協でない」ということは誤りであるならこのハイハーバーは包括しない
事実2: もし仮にこのインド亜大陸は横書き表示であるとすると「あの心太は惨たらしいということはないしおまけに専門農協でない」ということは間違いである
事実3: 仮にこのインド亜大陸は水堀であるとするとそれは横書き表示である
事実4: 「あの若手は水堀でないけれど来易い」ということは成り立つということはない
事実5: なんらかの物は惨たらしい
事実6: このハイハーバーは専門農協だ
事実7: その衛星放送は水堀である
事実8: このハイハーバーは惨たらしくて専門農協だ
事実9: このハイハーバーが専門農協だし更にそれはいとおしい
事実10: もしも「「このハイハーバーは包括しない一方でそれは水堀だ」ということは成り立つ」ということは真実であるということはないならそれは包括する
事実11: 「惨たらしいしさらに専門農協な」物はある
事実12: この印章は専門農協だ
事実13: 「このハイハーバーは包括しないけれど水堀である」ということは嘘だ
事実14: 「このハイハーバーは包括するしかつそれは水堀である」ということは成り立たない
事実15: 「包括する」物はある

仮説: 「「惨たらしいししかも包括する」物はある」ということは誤りだ
1. 事実8から、推論1: "このハイハーバーは惨たらしい"が導かれる
2. 事実10と事実13から、推論2: "このハイハーバーは包括する"が導かれる
3. 推論1と推論2から、推論3: "このハイハーバーは惨たらしいし包括する"が導かれる
4. 推論3から、仮説が否定される

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