It is necessary that in spring on business_hours thermostat_setting is ’20 degree’.
It is necessary that in spring on not_on_business_hours thermostat_setting is ’15 degree’.
It is necessary that in summer on business_hours thermostat_setting is ’24 degree’.
It is necessary that in summer on not_on_business_hours thermostat_setting is ’27 degree’.
It is necessary that in autumn on business_hours thermostat_setting is ’20 degree’.
It is necessary that in autumn on not_on_business_hours thermostat_setting is ’16 degree’.
It is necessary that in winter on business_hours thermostat_setting is ’18 degree’.
It is necessary that in winter on not_on_business_hours thermostat_setting is ’14 degree’.