このテレコンは滑り難くない
fact1: もし仮にその三月頃が窪まないとすればこのテレコンは滑り難い fact2: 「その三月頃は分離出来ないかまたは滑り難いか両方ともである」ということは成り立たない fact3: あの分析例は御了承下さる fact4: 「その三月頃は分離出来ないかもしくはそれは御了承下さる」ということは正しくない fact5: 「その三月頃は仲睦まじいということはないかまたは御辛いかまたは両方だ」ということは間違いだ fact6: このテレコンは分離出来ない fact7: もし「その三月頃は分離出来ないかそれは御了承下さるかもしくはどちらもである」ということは間違っているとすると窪まない fact8: 仮に「このテレコンは御了承下さるということはないかあるいは滑り難いかまたはどちらもである」ということは成り立たないとしたら窪むということはない fact9: 「その三月頃はしょっぱくないかまたは白輩であるかもしくは両方ともである」ということは偽である
fact7 & fact4 -> int1: 「その三月頃は窪まない」ということは成り立つ; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にその三月頃が窪まないとすればこのテレコンは滑り難い fact2: 「その三月頃は分離出来ないかまたは滑り難いか両方ともである」ということは成り立たない fact3: あの分析例は御了承下さる fact4: 「その三月頃は分離出来ないかもしくはそれは御了承下さる」ということは正しくない fact5: 「その三月頃は仲睦まじいということはないかまたは御辛いかまたは両方だ」ということは間違いだ fact6: このテレコンは分離出来ない fact7: もし「その三月頃は分離出来ないかそれは御了承下さるかもしくはどちらもである」ということは間違っているとすると窪まない fact8: 仮に「このテレコンは御了承下さるということはないかあるいは滑り難いかまたはどちらもである」ということは成り立たないとしたら窪むということはない fact9: 「その三月頃はしょっぱくないかまたは白輩であるかもしくは両方ともである」ということは偽である ; $hypothesis$ = このテレコンは滑り難くない ; $proof$ = 
fact7 & fact4 -> int1: 「その三月頃は窪まない」ということは成り立つ; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にその三月頃が窪まないとすればこのテレコンは滑り難い
事実2: 「その三月頃は分離出来ないかまたは滑り難いか両方ともである」ということは成り立たない
事実3: あの分析例は御了承下さる
事実4: 「その三月頃は分離出来ないかもしくはそれは御了承下さる」ということは正しくない
事実5: 「その三月頃は仲睦まじいということはないかまたは御辛いかまたは両方だ」ということは間違いだ
事実6: このテレコンは分離出来ない
事実7: もし「その三月頃は分離出来ないかそれは御了承下さるかもしくはどちらもである」ということは間違っているとすると窪まない
事実8: 仮に「このテレコンは御了承下さるということはないかあるいは滑り難いかまたはどちらもである」ということは成り立たないとしたら窪むということはない
事実9: 「その三月頃はしょっぱくないかまたは白輩であるかもしくは両方ともである」ということは偽である

仮説: このテレコンは滑り難くない
1. 事実7と事実4から、推論1: "「その三月頃は窪まない」ということは成り立つ"が導かれる
2. 推論1と事実1から、仮説が否定される

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