「そのスティックは剥離し難いかそれは出入りし易くない」ということは成り立たない
fact1: そのスティックは剥離し難いかもしくは出入りし易いかあるいはどちらもだ fact2: もしその一大イベントは絆すとしたら「そのスティックは流動化する」ということは成り立つ fact3: 仮にそのスティックは兼ねるということはないとすれば「それは関係深い一方で流動化しない」ということは確かでない fact4: もしその一大イベントが出入りし易いならそれは絆すか剥離し難くないか両方ともだ fact5: その一大イベントは絆す fact6: その肺気腫患者は剥離し難い fact7: もしも「その一大イベントは出入りし易くないがしかし流動化する」ということは成り立つということはないとすればそれは流動化しない fact8: 「「そのスティックは流動化しない」ということは確かである」ということは誤っているとすれば「それは剥離し難いかまたは出入りし易い」ということは確かである fact9: もしそのスティックが頓着するということはないが最適反応生産量だとすれば大流行しない fact10: もしなにかは関係深くないならば絆すらないけれど流動化する fact11: もし仮にある物が流動化するとしたらそれは剥離し難いかそれは出入りし易いかあるいは両方である fact12: あるものは絆すらないとしたら「「剥離し難いかもしくは出入りし易いということはないかまたはどちらもである」ということは事実である」ということは成り立たない fact13: あの歯質は絆す fact14: そのスティックは出入りし易いかあるいは絆すということはない fact15: もし仮になにがしかの物が流動化するなら剥離し難いかまたは出入りし易くない fact16: もしなにかは大流行しないならば兼ねらない
fact2 & fact5 -> int1: そのスティックは流動化する; fact15 -> int2: そのスティックが流動化するとするとそれは剥離し難いかまたは出入りし易くない; int1 & int2 -> hypothesis;
あのホテル受け付け役はファクスするかまたは剥離し難くない
$facts$ = fact1: そのスティックは剥離し難いかもしくは出入りし易いかあるいはどちらもだ fact2: もしその一大イベントは絆すとしたら「そのスティックは流動化する」ということは成り立つ fact3: 仮にそのスティックは兼ねるということはないとすれば「それは関係深い一方で流動化しない」ということは確かでない fact4: もしその一大イベントが出入りし易いならそれは絆すか剥離し難くないか両方ともだ fact5: その一大イベントは絆す fact6: その肺気腫患者は剥離し難い fact7: もしも「その一大イベントは出入りし易くないがしかし流動化する」ということは成り立つということはないとすればそれは流動化しない fact8: 「「そのスティックは流動化しない」ということは確かである」ということは誤っているとすれば「それは剥離し難いかまたは出入りし易い」ということは確かである fact9: もしそのスティックが頓着するということはないが最適反応生産量だとすれば大流行しない fact10: もしなにかは関係深くないならば絆すらないけれど流動化する fact11: もし仮にある物が流動化するとしたらそれは剥離し難いかそれは出入りし易いかあるいは両方である fact12: あるものは絆すらないとしたら「「剥離し難いかもしくは出入りし易いということはないかまたはどちらもである」ということは事実である」ということは成り立たない fact13: あの歯質は絆す fact14: そのスティックは出入りし易いかあるいは絆すということはない fact15: もし仮になにがしかの物が流動化するなら剥離し難いかまたは出入りし易くない fact16: もしなにかは大流行しないならば兼ねらない ; $hypothesis$ = 「そのスティックは剥離し難いかそれは出入りし易くない」ということは成り立たない ; $proof$ = 
fact2 & fact5 -> int1: そのスティックは流動化する; fact15 -> int2: そのスティックが流動化するとするとそれは剥離し難いかまたは出入りし易くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: そのスティックは剥離し難いかもしくは出入りし易いかあるいはどちらもだ
事実2: もしその一大イベントは絆すとしたら「そのスティックは流動化する」ということは成り立つ
事実3: 仮にそのスティックは兼ねるということはないとすれば「それは関係深い一方で流動化しない」ということは確かでない
事実4: もしその一大イベントが出入りし易いならそれは絆すか剥離し難くないか両方ともだ
事実5: その一大イベントは絆す
事実6: その肺気腫患者は剥離し難い
事実7: もしも「その一大イベントは出入りし易くないがしかし流動化する」ということは成り立つということはないとすればそれは流動化しない
事実8: 「「そのスティックは流動化しない」ということは確かである」ということは誤っているとすれば「それは剥離し難いかまたは出入りし易い」ということは確かである
事実9: もしそのスティックが頓着するということはないが最適反応生産量だとすれば大流行しない
事実10: もしなにかは関係深くないならば絆すらないけれど流動化する
事実11: もし仮にある物が流動化するとしたらそれは剥離し難いかそれは出入りし易いかあるいは両方である
事実12: あるものは絆すらないとしたら「「剥離し難いかもしくは出入りし易いということはないかまたはどちらもである」ということは事実である」ということは成り立たない
事実13: あの歯質は絆す
事実14: そのスティックは出入りし易いかあるいは絆すということはない
事実15: もし仮になにがしかの物が流動化するなら剥離し難いかまたは出入りし易くない
事実16: もしなにかは大流行しないならば兼ねらない

仮説: 「そのスティックは剥離し難いかそれは出入りし易くない」ということは成り立たない
1. 事実2と事実5から、推論1: "そのスティックは流動化する"が導かれる
2. 事実15から、推論2: "そのスティックが流動化するとするとそれは剥離し難いかまたは出入りし易くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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