「「もし人らしくないならば二本マストでない」ものはある」ということは事実と異なる
fact1: もしなにがしかの物が人らしくないとすると再生性でない fact2: もしこのストライプは人らしいとしたら「二本マストでない」ということは間違いでない fact3: 「仮に人らしいとすると二本マストでない」ものはある fact4: もしこのストライプが人らしくないとしたらそれは二本マストでない fact5: 「仮に始末出来るなら二年連続でない」物はある fact6: 「もしも人らしくないとすれば二本マストである」物はある
fact4 -> hypothesis;
もしもあのレース結果は人らしくないとすれば「再生性でない」ということは真実である
fact7 -> hypothesis;
$facts$ = fact1: もしなにがしかの物が人らしくないとすると再生性でない fact2: もしこのストライプは人らしいとしたら「二本マストでない」ということは間違いでない fact3: 「仮に人らしいとすると二本マストでない」ものはある fact4: もしこのストライプが人らしくないとしたらそれは二本マストでない fact5: 「仮に始末出来るなら二年連続でない」物はある fact6: 「もしも人らしくないとすれば二本マストである」物はある ; $hypothesis$ = 「「もし人らしくないならば二本マストでない」ものはある」ということは事実と異なる ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もしなにがしかの物が人らしくないとすると再生性でない
事実2: もしこのストライプは人らしいとしたら「二本マストでない」ということは間違いでない
事実3: 「仮に人らしいとすると二本マストでない」ものはある
事実4: もしこのストライプが人らしくないとしたらそれは二本マストでない
事実5: 「仮に始末出来るなら二年連続でない」物はある
事実6: 「もしも人らしくないとすれば二本マストである」物はある

仮説: 「「もし人らしくないならば二本マストでない」ものはある」ということは事実と異なる
1. 事実4から、仮説が否定される

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