この在来馬は先払いしない
fact1: この在来馬は尽くし難くないかもしくはプルコギであるか両方だ fact2: 仮にこの在来馬が尽くし難くないかまたはそれはプルコギであるなら先払いする
$facts$ = fact1: この在来馬は尽くし難くないかもしくはプルコギであるか両方だ fact2: 仮にこの在来馬が尽くし難くないかまたはそれはプルコギであるなら先払いする ; $hypothesis$ = この在来馬は先払いしない ; $proof$ = 
事実1: この在来馬は尽くし難くないかもしくはプルコギであるか両方だ
事実2: 仮にこの在来馬が尽くし難くないかまたはそれはプルコギであるなら先払いする

仮説: この在来馬は先払いしない