「もしそのドライバー達は新しとすると「そのドライバー達は目標達成でなくて示しでない」ということは事実と異なる」ということは成り立つということはない
fact1: もし仮にそのドライバー達は新しとしたら「それは目標達成でなくてそれに示しだ」ということは間違っている fact2: とある物は天狗らしいとすれば「力強くないけど凄い」ということは嘘だ fact3: 仮になにがしかの物は新しとしたら「それは目標達成だけど示しだということはない」ということは確かでない fact4: そのドライバー達が新しならば目標達成でないし示しでない fact5: もしなんらかの物は新しならば「それは目標達成でないしおまけに示しでない」ということは誤りである fact6: そのドライバー達は新しなら「それは目標達成だけれど示しでない」ということは成り立たない fact7: もし仮にとある物は新しとしたら「目標達成だということはないがしかし示しである」ということは間違いである fact8: もし仮になにかは新しならそれは目標達成でなくて示しでない
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: もし仮にそのドライバー達は新しとしたら「それは目標達成でなくてそれに示しだ」ということは間違っている fact2: とある物は天狗らしいとすれば「力強くないけど凄い」ということは嘘だ fact3: 仮になにがしかの物は新しとしたら「それは目標達成だけど示しだということはない」ということは確かでない fact4: そのドライバー達が新しならば目標達成でないし示しでない fact5: もしなんらかの物は新しならば「それは目標達成でないしおまけに示しでない」ということは誤りである fact6: そのドライバー達は新しなら「それは目標達成だけれど示しでない」ということは成り立たない fact7: もし仮にとある物は新しとしたら「目標達成だということはないがしかし示しである」ということは間違いである fact8: もし仮になにかは新しならそれは目標達成でなくて示しでない ; $hypothesis$ = 「もしそのドライバー達は新しとすると「そのドライバー達は目標達成でなくて示しでない」ということは事実と異なる」ということは成り立つということはない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にそのドライバー達は新しとしたら「それは目標達成でなくてそれに示しだ」ということは間違っている
事実2: とある物は天狗らしいとすれば「力強くないけど凄い」ということは嘘だ
事実3: 仮になにがしかの物は新しとしたら「それは目標達成だけど示しだということはない」ということは確かでない
事実4: そのドライバー達が新しならば目標達成でないし示しでない
事実5: もしなんらかの物は新しならば「それは目標達成でないしおまけに示しでない」ということは誤りである
事実6: そのドライバー達は新しなら「それは目標達成だけれど示しでない」ということは成り立たない
事実7: もし仮にとある物は新しとしたら「目標達成だということはないがしかし示しである」ということは間違いである
事実8: もし仮になにかは新しならそれは目標達成でなくて示しでない

仮説: 「もしそのドライバー達は新しとすると「そのドライバー達は目標達成でなくて示しでない」ということは事実と異なる」ということは成り立つということはない
1. 事実5から、仮説が否定される

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