No obstante, este hecho debe ser retractado si después se sabe que ese determinado animal es un pingüino.
Las lógicas que formalizan razonamiento por defecto pueden ser divididas tajantemente en dos categorías: lógicas capaces de manejar suposiciones arbitrarias por defecto (lógica por defecto, lógica retractable, y answer set programming) y lógicas que formalizan la específica suposición por defecto de que los hechos que no se saben verdaderos pueden ser asumidos como falsos por defecto (closed world assumption y circunscripción).
El razonamiento abductivo es el sistema que deriva las explicaciones más probables de los hechos conocidos.
En tanto que la primera explicación (llovió) es retractada debido a la adición de información (se activó un rociador), cualquier lógica que modele explicaciones es no monotónica.
Este segundo cambio (un reemplazo causado por una adición) viola la condición de monotonicidad.