  We will formalize the inertial reasoning in this scenario using a nonmonotonic logic—to be specific, we use Reiter’s default logic. The set D of defaults for this theory consists of all instances of the inertial schema IR. In the initial situation, Fred is alive and the pistol is unloaded.