∀x (Day(x) → ¬Prefer(olivia, warmTemperature, x))
∀x (Sleep(olivia, x) → Prefer(olivia, coolTemperature, x))
∀x (Night(x) → Sleep(olivia, x))
∀x (Day(x) → Work(olivia, x))
Work(olivia) ⊕ Sleep(olivia)
∀x (Day(x) ⊕ Night(x))
∀x (Prefer(olivia, warmTemperature, x) ⊕ Prefer(olivia, coolTemperature, x))
∀x (Prefer(olivia, coolTemperature, x))