あの連歌は仰向きでない
fact1: あの連歌は豹変する fact2: もし「あの健康者は勧告する一方で相対頻度だということはない」ということは嘘だとするとあの連歌は勧告しない fact3: このスクリーニングテストは二千Ｂだ fact4: もし何らかの物が二千Ｂで加えて異界人であるならば仰向きであるということはない fact5: もし仮に「あの健康者は仰向きでないがしかし二千Ｂである」ということは真実でないとしたらこの実刑判決は仰向きだ fact6: もしあるものは異界人であるとしたら「それは仰向きだということはないけど二千Ｂである」ということは間違いだ fact7: 仮にあの健康者が二千Ｂだとするとあの連歌は仰向きだ fact8: あの健康者は二千Ｂだ fact9: 「あの連歌は二千Ｂだ」ということは偽でない fact10: あの連歌が勧告しないとしたらそれは作り付けるしそれは異界人である fact11: もしもあの連歌が二千Ｂであるとするとあの健康者は仰向きである fact12: あの連歌は遺産言語プログラムである fact13: あの健康者は仰向きだ fact14: その脚本執筆は仰向きである
fact7 & fact8 -> hypothesis;
fact7 & fact8 -> hypothesis;
あの連歌は仰向きでない
fact17 -> int1: 仮にあの連歌は二千Ｂだしさらに異界人であるならば仰向きでない;
$facts$ = fact1: あの連歌は豹変する fact2: もし「あの健康者は勧告する一方で相対頻度だということはない」ということは嘘だとするとあの連歌は勧告しない fact3: このスクリーニングテストは二千Ｂだ fact4: もし何らかの物が二千Ｂで加えて異界人であるならば仰向きであるということはない fact5: もし仮に「あの健康者は仰向きでないがしかし二千Ｂである」ということは真実でないとしたらこの実刑判決は仰向きだ fact6: もしあるものは異界人であるとしたら「それは仰向きだということはないけど二千Ｂである」ということは間違いだ fact7: 仮にあの健康者が二千Ｂだとするとあの連歌は仰向きだ fact8: あの健康者は二千Ｂだ fact9: 「あの連歌は二千Ｂだ」ということは偽でない fact10: あの連歌が勧告しないとしたらそれは作り付けるしそれは異界人である fact11: もしもあの連歌が二千Ｂであるとするとあの健康者は仰向きである fact12: あの連歌は遺産言語プログラムである fact13: あの健康者は仰向きだ fact14: その脚本執筆は仰向きである ; $hypothesis$ = あの連歌は仰向きでない ; $proof$ = 
fact7 & fact8 -> hypothesis; __DISPROVED__
事実1: あの連歌は豹変する
事実2: もし「あの健康者は勧告する一方で相対頻度だということはない」ということは嘘だとするとあの連歌は勧告しない
事実3: このスクリーニングテストは二千Ｂだ
事実4: もし何らかの物が二千Ｂで加えて異界人であるならば仰向きであるということはない
事実5: もし仮に「あの健康者は仰向きでないがしかし二千Ｂである」ということは真実でないとしたらこの実刑判決は仰向きだ
事実6: もしあるものは異界人であるとしたら「それは仰向きだということはないけど二千Ｂである」ということは間違いだ
事実7: 仮にあの健康者が二千Ｂだとするとあの連歌は仰向きだ
事実8: あの健康者は二千Ｂだ
事実9: 「あの連歌は二千Ｂだ」ということは偽でない
事実10: あの連歌が勧告しないとしたらそれは作り付けるしそれは異界人である
事実11: もしもあの連歌が二千Ｂであるとするとあの健康者は仰向きである
事実12: あの連歌は遺産言語プログラムである
事実13: あの健康者は仰向きだ
事実14: その脚本執筆は仰向きである

仮説: あの連歌は仰向きでない
1. 事実7と事実8から、仮説が否定される

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