====== Thermostat ======
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
if the day is Saturday
or the day is Sunday
then today is the weekend
if today is workday
and the time is 'between 9 am and 5 pm'
then operation is 'during business hours'
if today is workday
and the time is 'before 9 am'
then operation is 'not during business hours'
if today is workday
and the time is 'after 5 pm'
then operation is 'not during business hours'
if today is weekend
then operation is 'not during business hours'
if the month is January
or the month is February or the month is December
then the season is summer
if the month is March
or the month is April or the month is May
then the season is autumn
if the month is June
or the month is July or the month is August
then the season is winter
if the month is September
or the month is October or the month is November
then the season is spring
if the season is spring
and operation is 'during business hours'
then thermostat_setting is '20 degrees'
if the season is spring
and operation is 'not during business hours'
then thermostat_setting is '15 degrees'
if the season is summer
and operation is 'during business hours'
then thermostat_setting is '24 degrees'
if the season is summer
and operation is 'not during business hours'
then thermostat_setting is '27 degrees'
if the season is autumn
and operation is 'during business hours'
then thermostat_setting is '20 degrees'
if the season is autumn
and operation is 'not during business hours'
then thermostat_setting is '16 degrees'
if the season is winter
and operation is 'during business hours'
then thermostat_setting is '18 degrees'
if the season is winter
and operation is 'not during business hours'
then thermostat_setting is '14 degrees'
====== Thermostat DerivationRules ======
If day is a Monday or day is a Tuesday or day is a Wednesday or day is a Thursday or day is a Friday then today is a workday.
If day is a Saturday or day is a Sunday then today is a weekend.
If today is a workday and time is greater than 9 and time is less than 17 then operation is a during_business_hours.
If today is a workday and time is less than 9 then operation is a not_during_business_hours.
If today is a workday and time is greater than 17 then operation is a not_during_business_hours.
If today is a weekend then operation is a not_during_business_hours.
If month is a January or month is a Ferbuary or month is a December then season is a summer.
If month is a March or month is a April or month is a May then season is a autumn.
If month is a June or month is a July or month is a August then season is a winter.
If month is a September or month is a October or month is a November then season is a spring.
If season is a spring and operation is a during_business_hours then thermostat_setting is equal to 20 degrees.
If season is a spring and operation is a not_during_business_hours then thermostat_setting is equal to 15 degrees.
If season is a summer and operation is a during_business_hours then thermostat_setting is equal to 24 degrees.
If season is a summer and operation is a not_during_business_hours then thermostat_setting is equal to 27 degrees.
If season is a autumn and operation is a during_business_hours then thermostat_setting is equal to 20 degrees.
If season is a autumn and operation is a not_during_business_hours then thermostat_setting is equal to 16 degrees.
If season is a winter and operation is a during_business_hours then thermostat_setting is equal to 18 degrees.
If season is a winter and operation is a not_during_business_hours then thermostat_setting is equal to 14 degrees.