そのＤＨは得られ易い
fact1: もし仮になんらかのものは物凄ーいなら「善者でないしその上狭隘だ」ということは間違いだ fact2: もし仮に「何らかのものは持ち難いということはないかあるいはそれはフォローアップしないかまたは両方である」ということは間違っているとすれば「得られ易い」ということは真実である fact3: あるものは掘り進むとすると「それは持ち難くないかあるいはそれはフォローアップしないか両方ともである」ということは嘘である fact4: 「あの四十歳代は孤立するけれど物凄ーくない」ということは誤りである fact5: もし仮にそのＤＨが黒鍔ならそれは救い難い fact6: もしもあの四十歳代が持ち難くないとしたらそれは車体長でかつフォローアップする fact7: そのＤＨは掘り進むしまた車体長だ fact8: もし仮に「あの四十歳代は孤立するがそれは物凄ーいということはない」ということは成り立たないなら物凄ーい fact9: もしもそのＤＨが持ち難くないとしたらあの謝金は掘り進むか車体長であるかまたはどちらもである fact10: もし仮に「あの四十歳代は善者でないけど狭隘である」ということは誤っているとすれば掘り進む
fact7 -> int1: そのＤＨは掘り進む; fact3 -> int2: もし仮にそのＤＨは掘り進むとすると「持ち難くないかそれはフォローアップしないか両方である」ということは成り立たない; int1 & int2 -> int3: 「そのＤＨは持ち難くないかそれはフォローアップしないかあるいはどちらもだ」ということは間違っている; fact2 -> int4: 「そのＤＨは持ち難くないかあるいはそれはフォローアップしないかどちらもだ」ということは偽であるならば「得られ易い」ということは真実である; int3 & int4 -> hypothesis;
そのＤＨは得られ易くない
fact11 -> int5: もしもあの四十歳代は物凄ーいなら「それは善者でないしさらに狭隘である」ということは本当でない; fact14 & fact13 -> int6: あの四十歳代は物凄ーい; int5 & int6 -> int7: 「あの四十歳代は善者でないけどそれは狭隘だ」ということは成り立つということはない; fact15 & int7 -> int8: あの四十歳代は掘り進む;
$facts$ = fact1: もし仮になんらかのものは物凄ーいなら「善者でないしその上狭隘だ」ということは間違いだ fact2: もし仮に「何らかのものは持ち難いということはないかあるいはそれはフォローアップしないかまたは両方である」ということは間違っているとすれば「得られ易い」ということは真実である fact3: あるものは掘り進むとすると「それは持ち難くないかあるいはそれはフォローアップしないか両方ともである」ということは嘘である fact4: 「あの四十歳代は孤立するけれど物凄ーくない」ということは誤りである fact5: もし仮にそのＤＨが黒鍔ならそれは救い難い fact6: もしもあの四十歳代が持ち難くないとしたらそれは車体長でかつフォローアップする fact7: そのＤＨは掘り進むしまた車体長だ fact8: もし仮に「あの四十歳代は孤立するがそれは物凄ーいということはない」ということは成り立たないなら物凄ーい fact9: もしもそのＤＨが持ち難くないとしたらあの謝金は掘り進むか車体長であるかまたはどちらもである fact10: もし仮に「あの四十歳代は善者でないけど狭隘である」ということは誤っているとすれば掘り進む ; $hypothesis$ = そのＤＨは得られ易い ; $proof$ = 
fact7 -> int1: そのＤＨは掘り進む; fact3 -> int2: もし仮にそのＤＨは掘り進むとすると「持ち難くないかそれはフォローアップしないか両方である」ということは成り立たない; int1 & int2 -> int3: 「そのＤＨは持ち難くないかそれはフォローアップしないかあるいはどちらもだ」ということは間違っている; fact2 -> int4: 「そのＤＨは持ち難くないかあるいはそれはフォローアップしないかどちらもだ」ということは偽であるならば「得られ易い」ということは真実である; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものは物凄ーいなら「善者でないしその上狭隘だ」ということは間違いだ
事実2: もし仮に「何らかのものは持ち難いということはないかあるいはそれはフォローアップしないかまたは両方である」ということは間違っているとすれば「得られ易い」ということは真実である
事実3: あるものは掘り進むとすると「それは持ち難くないかあるいはそれはフォローアップしないか両方ともである」ということは嘘である
事実4: 「あの四十歳代は孤立するけれど物凄ーくない」ということは誤りである
事実5: もし仮にそのＤＨが黒鍔ならそれは救い難い
事実6: もしもあの四十歳代が持ち難くないとしたらそれは車体長でかつフォローアップする
事実7: そのＤＨは掘り進むしまた車体長だ
事実8: もし仮に「あの四十歳代は孤立するがそれは物凄ーいということはない」ということは成り立たないなら物凄ーい
事実9: もしもそのＤＨが持ち難くないとしたらあの謝金は掘り進むか車体長であるかまたはどちらもである
事実10: もし仮に「あの四十歳代は善者でないけど狭隘である」ということは誤っているとすれば掘り進む

仮説: そのＤＨは得られ易い
1. 事実7から、推論1: "そのＤＨは掘り進む"が導かれる
2. 事実3から、推論2: "もし仮にそのＤＨは掘り進むとすると「持ち難くないかそれはフォローアップしないか両方である」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「そのＤＨは持ち難くないかそれはフォローアップしないかあるいはどちらもだ」ということは間違っている"が導かれる
4. 事実2から、推論4: "「そのＤＨは持ち難くないかあるいはそれはフォローアップしないかどちらもだ」ということは偽であるならば「得られ易い」ということは真実である"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。