「「もし二語連続でないがしかし編目だとしたら切れ易い」物はある」ということは成り立つということはない
fact1: もし仮になにがしかのものが二語連続でないが編目だとすれば「切れ易い」ということは事実だ fact2: もし仮に「あの如意は二語連続であるし編目である」ということは成り立つとしたら切れ易い fact3: 「仮に応手でなくて役者絵であるなら「絡め合う」ということは成り立つ」ものはある fact4: 「二語連続であるしまた編目だとすると切れ易い」物はある fact5: 「もし熱いということはないしかつ機長なら「難い」ということは成り立つ」物はある fact6: 仮にあの如意が分散化しないけれどやくざっぽいなら切れ易い fact7: この健康リスクは言い逃れない一方で編目だとすればそれは完全変態である fact8: もし仮になにがしかのものは分散化するということはないけれど行き易いならば事らしい fact9: あるものは大差無くないが設備機器であるとするとそれは吐息する fact10: 「仮に押捺しなくてしかも入り組むとしたら起き易い」ものはある fact11: この給付判決がつれなくないけどそれが編目だとしたらそれは使い辛い fact12: 二語連続が編目なら切れ易い fact13: 仮にこの陸戦が程近いということはないがしかし切れ易いとすると加工方法だ fact14: あの如意が受動喫煙防止措置でない一方で床しいとすると二語連続だ
fact1 -> int1: もし仮にあの如意は二語連続だということはないがしかし編目であるとすると切れ易い; int1 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのものが二語連続でないが編目だとすれば「切れ易い」ということは事実だ fact2: もし仮に「あの如意は二語連続であるし編目である」ということは成り立つとしたら切れ易い fact3: 「仮に応手でなくて役者絵であるなら「絡め合う」ということは成り立つ」ものはある fact4: 「二語連続であるしまた編目だとすると切れ易い」物はある fact5: 「もし熱いということはないしかつ機長なら「難い」ということは成り立つ」物はある fact6: 仮にあの如意が分散化しないけれどやくざっぽいなら切れ易い fact7: この健康リスクは言い逃れない一方で編目だとすればそれは完全変態である fact8: もし仮になにがしかのものは分散化するということはないけれど行き易いならば事らしい fact9: あるものは大差無くないが設備機器であるとするとそれは吐息する fact10: 「仮に押捺しなくてしかも入り組むとしたら起き易い」ものはある fact11: この給付判決がつれなくないけどそれが編目だとしたらそれは使い辛い fact12: 二語連続が編目なら切れ易い fact13: 仮にこの陸戦が程近いということはないがしかし切れ易いとすると加工方法だ fact14: あの如意が受動喫煙防止措置でない一方で床しいとすると二語連続だ ; $hypothesis$ = 「「もし二語連続でないがしかし編目だとしたら切れ易い」物はある」ということは成り立つということはない ; $proof$ = 
fact1 -> int1: もし仮にあの如意は二語連続だということはないがしかし編目であるとすると切れ易い; int1 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものが二語連続でないが編目だとすれば「切れ易い」ということは事実だ
事実2: もし仮に「あの如意は二語連続であるし編目である」ということは成り立つとしたら切れ易い
事実3: 「仮に応手でなくて役者絵であるなら「絡め合う」ということは成り立つ」ものはある
事実4: 「二語連続であるしまた編目だとすると切れ易い」物はある
事実5: 「もし熱いということはないしかつ機長なら「難い」ということは成り立つ」物はある
事実6: 仮にあの如意が分散化しないけれどやくざっぽいなら切れ易い
事実7: この健康リスクは言い逃れない一方で編目だとすればそれは完全変態である
事実8: もし仮になにがしかのものは分散化するということはないけれど行き易いならば事らしい
事実9: あるものは大差無くないが設備機器であるとするとそれは吐息する
事実10: 「仮に押捺しなくてしかも入り組むとしたら起き易い」ものはある
事実11: この給付判決がつれなくないけどそれが編目だとしたらそれは使い辛い
事実12: 二語連続が編目なら切れ易い
事実13: 仮にこの陸戦が程近いということはないがしかし切れ易いとすると加工方法だ
事実14: あの如意が受動喫煙防止措置でない一方で床しいとすると二語連続だ

仮説: 「「もし二語連続でないがしかし編目だとしたら切れ易い」物はある」ということは成り立つということはない
1. 事実1から、推論1: "もし仮にあの如意は二語連続だということはないがしかし編目であるとすると切れ易い"が導かれる
2. 推論1から、仮説が否定される

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