∃x (AtHome(hugo) ∧ Cold(hugosApartment, presentMoment) → Sweater(x) ∧ Wear(hugo, x, presentMoment))
∀x (InWinter(x) → Cold(hugosApartment, x))
February(presentMoment)
February(presentMoment) → InWinter(now)
Reading(hugo, novel) → AtHome(hugo)
Reading(hugo, novel)
∃x (Sweater(x) ∧ Wear(hugo, x, presentMoment))