non monotonic reasoning example