Rule: 1 if the day is Monday or the day is Tuesday or the day is Wednesday or the day is Thursday or the day is Friday then today is a workday Rule: 2 if the day is Saturday or the day is Sunday then today is the weekend Rule: 3 if today is workday and the time is 'between 9 am and 5 pm' then operation is 'during business hours' Rule: 4 if today is workday and the time is 'before 9 am' then operation is 'not during business hours' Rule: 5 if today is workday and the time is 'after 5 pm' then operation is 'not during business hours' Rule: 6 if today is weekend then operation is 'not during business hours' Rule: 7 if the month is January or the month is February or the month is December then the season is summer Rule: 8 if the month is March or the month is April or the month is May then the season is autumn Rule: 9 if the month is June or the month is July or the month is August then the season is winter Rule: 10 if the month is September or the month is October or the month is November then the season is spring Rule: 11 if the season is spring and operation is 'during business hours' then thermostat_setting is '20 degrees' Rule: 12 if the season is spring and operation is 'not during business hours' then thermostat_setting is '15 degrees' Rule: 13 if the season is summer and operation is 'during business hours' then thermostat_setting is '24 degrees' Rule: 14 if the season is summer and operation is 'not during business hours' then thermostat_setting is '27 degrees' Rule: 15 if the season is autumn and operation is 'during business hours' then thermostat_setting is '20 degrees' Rule: 16 if the season is autumn and operation is 'not during business hours' then thermostat_setting is '16 degrees' Rule: 17 if the season is winter and operation is 'during business hours' then thermostat_setting is '18 degrees' Rule: 18 if the season is winter and operation is 'not during business hours' then thermostat_setting is '14 degrees'