Smith concluye (justificadamente, por la regla de la regla de adición) que «Jones posee un Ford o Brown está en Barcelona», aunque Smith no tiene dato alguno sobre dónde está Brown.