At all times, Olivia prefers cool temperature.
Olivia doesn't prefer warm temperature during the day. When Olivia sleeps, she prefers cool temperature. Olivia sleeps during the night. Olivia works during the day. Olivia either works or sleeps. The time is either the day or the night. Olivia either prefers warm temperature or prefers cool temperature.
∀x (Day(x) → ¬PrefersWarmAt(olivia, x)) ∀x (SleepingDuring(olivia, x) → PrefersCoolAt(olivia, x)) ∀x (SleepingDuring(olivia, x) → Night(x)) ∀x (WorkingDuring(olivia, x) → Day(x)) ∀x (WorkingDuring(olivia, x) ∨ SleepingDuring(olivia, x)) ∀x (Day(x) ∨ Night(x)) ∀x (PrefersWarmAt(olivia, x) ∨ PrefersCoolAt(olivia, x))