そのデテルミナントは充足出来ない
fact1: そのクレジットカード情報は感ずるが万馬券でない fact2: もしそのクレジットカード情報が感ずるけれどそれが万馬券でないならばそのデテルミナントは充足出来る
$facts$ = fact1: そのクレジットカード情報は感ずるが万馬券でない fact2: もしそのクレジットカード情報が感ずるけれどそれが万馬券でないならばそのデテルミナントは充足出来る ; $hypothesis$ = そのデテルミナントは充足出来ない ; $proof$ = 
事実1: そのクレジットカード情報は感ずるが万馬券でない
事実2: もしそのクレジットカード情報が感ずるけれどそれが万馬券でないならばそのデテルミナントは充足出来る

仮説: そのデテルミナントは充足出来ない