If Room 116 is either both booked during the day and freely usable at night, or neither, then it is either used for office hours or for private study spots.
¬(BookedDuring(room116, day) ⊕ FreelyUsableAtNight(room116) → (UsedFor(room116, officeHour) ⊕ PrivateStudySpot(room116))