Aunque parece extraño, con este proceder llegaremos a un conjunto estable (aunque obviamente inconsistente) de consecuencias de las premisas.