Ejemplo de razonamiento deductivo: