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.