馬が白ではないと仮定します。それから、それはサンティアゴの馬 *白 *ではありません。エルゴは、不条理を減らすことにより、馬は白でなければなりません。
Supongamos que el caballo no es blanco. Entonces no sería el caballo *blanco* de Santiago. Ergo, por reducción al absurdo, el caballo tiene que ser blanco.