Since the old explanation (it rained) is retracted because of the addition of a piece of knowledge (a sprinkler was active), any logic that models explanations is non-monotonic.
Оскільки колишнє пояснення (це був дощ) було відхилено через додавання певної частини знання (трава була мора бо працювала поливалка), будь-яка логіка, в якій є моделі пояснення є немонотонною.