「「話し易くないとすれば筋トレでない一方で後ろ暗い」ものはある」ということは誤っている
fact1: 仮にこの御指導は話し易くないとすれば「筋トレでない」ということは真実である fact2: 「もし仮に話し易くないなら後ろ暗い」ものはある fact3: もしこの御指導が話し易いとしたら筋トレでなくて加えて後ろ暗い fact4: この御指導は話し易くないとすると筋トレでないけど後ろ暗い
fact4 -> hypothesis;
$facts$ = fact1: 仮にこの御指導は話し易くないとすれば「筋トレでない」ということは真実である fact2: 「もし仮に話し易くないなら後ろ暗い」ものはある fact3: もしこの御指導が話し易いとしたら筋トレでなくて加えて後ろ暗い fact4: この御指導は話し易くないとすると筋トレでないけど後ろ暗い ; $hypothesis$ = 「「話し易くないとすれば筋トレでない一方で後ろ暗い」ものはある」ということは誤っている ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 仮にこの御指導は話し易くないとすれば「筋トレでない」ということは真実である
事実2: 「もし仮に話し易くないなら後ろ暗い」ものはある
事実3: もしこの御指導が話し易いとしたら筋トレでなくて加えて後ろ暗い
事実4: この御指導は話し易くないとすると筋トレでないけど後ろ暗い

仮説: 「「話し易くないとすれば筋トレでない一方で後ろ暗い」ものはある」ということは誤っている
1. 事実4から、仮説が否定される

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