「あの領知は頼まない」ということは成り立つ
fact1: 「ポリープでないし魘されるということはない」ものはある fact2: その開度は頼む fact3: 「言い辛くないものは通り難くてそれに共生する」ということは本当だ fact4: あの平仮名入力モードは頼む fact5: あの領知は財貨数量だ fact6: 仮に「とあるものは魘されないけどそれは言い辛い」ということは誤りであるとすれば「言い辛くない」ということは正しい fact7: もし「あの神供は共生しない」ということは本当であるとするとあの領知は利用され易くないがそれは通り難い fact8: 「感知出来るし通り難い」物があるならあの領知は頼まない fact9: あのカテゴリーキラーは頼む fact10: あの領知は頼む fact11: それは魘されないがしかし言い辛いというものはない fact12: もしもある物がポリープでなくて更に魘されないとしたらあの神供は言い辛いということはない fact13: 仮に利用され易くないものは通り難いとすると「感知出来ない」ということは嘘でない fact14: あの有段証は頼む fact15: あの領知は販売取り引きだ fact16: あの領知は使場である
fact10 -> hypothesis;
fact10 -> hypothesis;
その独裁制は頼む
fact17 -> int1: 仮にあの領知は利用され易くない一方で通り難いならば感知出来ない; fact18 & fact20 -> int2: あの神供は言い辛くない;
$facts$ = fact1: 「ポリープでないし魘されるということはない」ものはある fact2: その開度は頼む fact3: 「言い辛くないものは通り難くてそれに共生する」ということは本当だ fact4: あの平仮名入力モードは頼む fact5: あの領知は財貨数量だ fact6: 仮に「とあるものは魘されないけどそれは言い辛い」ということは誤りであるとすれば「言い辛くない」ということは正しい fact7: もし「あの神供は共生しない」ということは本当であるとするとあの領知は利用され易くないがそれは通り難い fact8: 「感知出来るし通り難い」物があるならあの領知は頼まない fact9: あのカテゴリーキラーは頼む fact10: あの領知は頼む fact11: それは魘されないがしかし言い辛いというものはない fact12: もしもある物がポリープでなくて更に魘されないとしたらあの神供は言い辛いということはない fact13: 仮に利用され易くないものは通り難いとすると「感知出来ない」ということは嘘でない fact14: あの有段証は頼む fact15: あの領知は販売取り引きだ fact16: あの領知は使場である ; $hypothesis$ = 「あの領知は頼まない」ということは成り立つ ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: 「ポリープでないし魘されるということはない」ものはある
事実2: その開度は頼む
事実3: 「言い辛くないものは通り難くてそれに共生する」ということは本当だ
事実4: あの平仮名入力モードは頼む
事実5: あの領知は財貨数量だ
事実6: 仮に「とあるものは魘されないけどそれは言い辛い」ということは誤りであるとすれば「言い辛くない」ということは正しい
事実7: もし「あの神供は共生しない」ということは本当であるとするとあの領知は利用され易くないがそれは通り難い
事実8: 「感知出来るし通り難い」物があるならあの領知は頼まない
事実9: あのカテゴリーキラーは頼む
事実10: あの領知は頼む
事実11: それは魘されないがしかし言い辛いというものはない
事実12: もしもある物がポリープでなくて更に魘されないとしたらあの神供は言い辛いということはない
事実13: 仮に利用され易くないものは通り難いとすると「感知出来ない」ということは嘘でない
事実14: あの有段証は頼む
事実15: あの領知は販売取り引きだ
事実16: あの領知は使場である

仮説: 「あの領知は頼まない」ということは成り立つ
1. 事実10から、仮説が否定される

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