その実験的研究は険しかないがそれは作り易い
fact1: この氏子地区が取り除けないとしたら通り越さないかまたはそれは影響され易くないかまたは両方ともである fact2: 仮になにがしかの物が通り越さないか影響され易くないかもしくは両方ともならば赤黒でない fact3: 仮に何らかの物が滑走しないとしたらそれが険しかないしさらにそれは作り易い fact4: もしなにがしかのものは塩辛いなら「安堵し難くてそれにそれは上げ難い」ということは本当でない fact5: もしむず痒いということはない物は再現出来るということはないとしたら「それは医療情報でない」ということは真実である fact6: 赤黒はむず痒いということはないしそれに再現出来ない fact7: もしあのミディアムが赤黒ならばあの実験的研究は赤黒である fact8: 「その過剰雇用は滑走しないが国家賠償である」ということは成り立たない fact9: もし仮に何かは医療情報でないならそれは滑走するということはなくてそれは慎ましくない fact10: 「その実験的研究が険しいしその上作り易い」ということは成り立たない fact11: もしも「あのミディアムは慎ましい」ということは真実ならその実験的研究は医療情報である fact12: 仮にこの氏子地区が赤黒でないとすればあのミディアムは赤黒だ fact13: もし仮にあるものは医療情報だとすれば「それは険しかなくて作り易い」ということは嘘だ fact14: あのミディアムは滑走するし慎ましい fact15: あのミディアムは作り易い fact16: もしも「この氏子地区は塩辛くないけれど取り除ける」ということは偽なら取り除けない fact17: もし仮にとあるものは慎ましいということはないけれど滑走するとするとそれは作り易い fact18: 「あのミディアムは滑走する」ということは真実である
fact14 -> int1: あのミディアムは慎ましい; int1 & fact11 -> int2: 「その実験的研究は医療情報だ」ということは成り立つ; fact13 -> int3: もしその実験的研究は医療情報であるとすれば「それは険しかないが作り易い」ということは事実と異なる; int2 & int3 -> hypothesis;
fact14 -> int1: {B}{a}; int1 & fact11 -> int2: {C}{b}; fact13 -> int3: {C}{b} -> ¬(¬{E}{b} & {D}{b}); int2 & int3 -> hypothesis;
その実験的研究は険しかないけれど作り易い
fact21 -> int4: もし仮にその実験的研究は滑走しないとすると「険しかないけど作り易い」ということは成り立つ; fact20 -> int5: その実験的研究が医療情報でないなら滑走するということはないしその上それは慎ましくない; fact25 -> int6: 仮にその実験的研究はむず痒くなくて再現出来ないとするとそれは医療情報だということはない; fact23 -> int7: もし仮に「その実験的研究は赤黒だ」ということは成り立つとしたらそれはむず痒いということはなくて再現出来ない; fact27 -> int8: この氏子地区は通り越さないかまたは影響され易くないかあるいはどちらもであるなら赤黒でない;
$facts$ = fact1: この氏子地区が取り除けないとしたら通り越さないかまたはそれは影響され易くないかまたは両方ともである fact2: 仮になにがしかの物が通り越さないか影響され易くないかもしくは両方ともならば赤黒でない fact3: 仮に何らかの物が滑走しないとしたらそれが険しかないしさらにそれは作り易い fact4: もしなにがしかのものは塩辛いなら「安堵し難くてそれにそれは上げ難い」ということは本当でない fact5: もしむず痒いということはない物は再現出来るということはないとしたら「それは医療情報でない」ということは真実である fact6: 赤黒はむず痒いということはないしそれに再現出来ない fact7: もしあのミディアムが赤黒ならばあの実験的研究は赤黒である fact8: 「その過剰雇用は滑走しないが国家賠償である」ということは成り立たない fact9: もし仮に何かは医療情報でないならそれは滑走するということはなくてそれは慎ましくない fact10: 「その実験的研究が険しいしその上作り易い」ということは成り立たない fact11: もしも「あのミディアムは慎ましい」ということは真実ならその実験的研究は医療情報である fact12: 仮にこの氏子地区が赤黒でないとすればあのミディアムは赤黒だ fact13: もし仮にあるものは医療情報だとすれば「それは険しかなくて作り易い」ということは嘘だ fact14: あのミディアムは滑走するし慎ましい fact15: あのミディアムは作り易い fact16: もしも「この氏子地区は塩辛くないけれど取り除ける」ということは偽なら取り除けない fact17: もし仮にとあるものは慎ましいということはないけれど滑走するとするとそれは作り易い fact18: 「あのミディアムは滑走する」ということは真実である ; $hypothesis$ = その実験的研究は険しかないがそれは作り易い ; $proof$ = 
fact14 -> int1: あのミディアムは慎ましい; int1 & fact11 -> int2: 「その実験的研究は医療情報だ」ということは成り立つ; fact13 -> int3: もしその実験的研究は医療情報であるとすれば「それは険しかないが作り易い」ということは事実と異なる; int2 & int3 -> hypothesis; __DISPROVED__
事実1: この氏子地区が取り除けないとしたら通り越さないかまたはそれは影響され易くないかまたは両方ともである
事実2: 仮になにがしかの物が通り越さないか影響され易くないかもしくは両方ともならば赤黒でない
事実3: 仮に何らかの物が滑走しないとしたらそれが険しかないしさらにそれは作り易い
事実4: もしなにがしかのものは塩辛いなら「安堵し難くてそれにそれは上げ難い」ということは本当でない
事実5: もしむず痒いということはない物は再現出来るということはないとしたら「それは医療情報でない」ということは真実である
事実6: 赤黒はむず痒いということはないしそれに再現出来ない
事実7: もしあのミディアムが赤黒ならばあの実験的研究は赤黒である
事実8: 「その過剰雇用は滑走しないが国家賠償である」ということは成り立たない
事実9: もし仮に何かは医療情報でないならそれは滑走するということはなくてそれは慎ましくない
事実10: 「その実験的研究が険しいしその上作り易い」ということは成り立たない
事実11: もしも「あのミディアムは慎ましい」ということは真実ならその実験的研究は医療情報である
事実12: 仮にこの氏子地区が赤黒でないとすればあのミディアムは赤黒だ
事実13: もし仮にあるものは医療情報だとすれば「それは険しかなくて作り易い」ということは嘘だ
事実14: あのミディアムは滑走するし慎ましい
事実15: あのミディアムは作り易い
事実16: もしも「この氏子地区は塩辛くないけれど取り除ける」ということは偽なら取り除けない
事実17: もし仮にとあるものは慎ましいということはないけれど滑走するとするとそれは作り易い
事実18: 「あのミディアムは滑走する」ということは真実である

仮説: その実験的研究は険しかないがそれは作り易い
1. 事実14から、推論1: "あのミディアムは慎ましい"が導かれる
2. 推論1と事実11から、推論2: "「その実験的研究は医療情報だ」ということは成り立つ"が導かれる
3. 事実13から、推論3: "もしその実験的研究は医療情報であるとすれば「それは険しかないが作り易い」ということは事実と異なる"が導かれる
4. 推論2と推論3から、仮説が否定される

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