Este ejemplo muestra que una lógica que modele el razonamiento por defecto no debe ser monotónica.