theorem sam_cannot_make_it
theorem sam_cannot_make_it
(logic_is_actual : LogicIsActual)
(principle : A LateArrivalMeansNotMakingIt)
(tonight : A TonightsStoreRun)
: A (¬ CanMakeItTo Sam TheStore ClosingTime)