あの男子は恨めしいということはない
fact1: この僻目は居住空間だ fact2: あの目高さんは委付けであるかまたは鳴き止まないかあるいは両方ともである fact3: あの男子は捏ねる fact4: もし仮にこの僻目は捏ねるとしたら「あの男子は捏ねる」ということは成り立つ fact5: その教育的支援は恨めしい fact6: もしこの僻目が捏ねないならあの男子は恨めしい fact7: とある物は恨めしいなら「この狩猟犬は売らなくてそれにそれは恨めしくない」ということは成り立つということはない fact8: この僻目は目標心拍数であるかまたは捏ねないかもしくは両方ともである fact9: この僻目は恨めしい fact10: この僻目が目標心拍数であるならあの男子は恨めしい
fact8 & fact10 & fact6 -> hypothesis;
fact8 & fact10 & fact6 -> hypothesis;
この狩猟犬は目標心拍数である
$facts$ = fact1: この僻目は居住空間だ fact2: あの目高さんは委付けであるかまたは鳴き止まないかあるいは両方ともである fact3: あの男子は捏ねる fact4: もし仮にこの僻目は捏ねるとしたら「あの男子は捏ねる」ということは成り立つ fact5: その教育的支援は恨めしい fact6: もしこの僻目が捏ねないならあの男子は恨めしい fact7: とある物は恨めしいなら「この狩猟犬は売らなくてそれにそれは恨めしくない」ということは成り立つということはない fact8: この僻目は目標心拍数であるかまたは捏ねないかもしくは両方ともである fact9: この僻目は恨めしい fact10: この僻目が目標心拍数であるならあの男子は恨めしい ; $hypothesis$ = あの男子は恨めしいということはない ; $proof$ = 
fact8 & fact10 & fact6 -> hypothesis; __DISPROVED__
事実1: この僻目は居住空間だ
事実2: あの目高さんは委付けであるかまたは鳴き止まないかあるいは両方ともである
事実3: あの男子は捏ねる
事実4: もし仮にこの僻目は捏ねるとしたら「あの男子は捏ねる」ということは成り立つ
事実5: その教育的支援は恨めしい
事実6: もしこの僻目が捏ねないならあの男子は恨めしい
事実7: とある物は恨めしいなら「この狩猟犬は売らなくてそれにそれは恨めしくない」ということは成り立つということはない
事実8: この僻目は目標心拍数であるかまたは捏ねないかもしくは両方ともである
事実9: この僻目は恨めしい
事実10: この僻目が目標心拍数であるならあの男子は恨めしい

仮説: あの男子は恨めしいということはない
1. 事実8と事実10と事実6から、仮説が否定される

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