IF
day ?x  monday
THEN
dayofweek ?x workday
#####
IF
day ?x  tuesday
THEN
dayofweek ?x workday
#####
IF
day ?x  wednesday
THEN
dayofweek ?x workday
#####
IF
day ?x  thursday
THEN
dayofweek ?x workday
#####
IF
day ?x  friday
THEN
dayofweek ?x workday
#####
IF
day ?x saturday
THEN
dayofweek ?x weekend
#####
IF
day ?x sunday
THEN
dayofweek ?x weekend
#####
IF
dayofweek ?x workday
time ?x 9to5
THEN
operation ?x BusinessHours
#####
IF
dayofweek ?x workday
time ?x before9am
THEN
operation ?x NOTBusinessHours
#####
IF
dayofweek ?x workday
time ?x after5pm
THEN
operation ?x NOTBusinessHours
#####
IF
dayofweek ?x weekend
THEN
operation ?x NOTBuxinessHours
#####
IF
month ?x december
THEN
season ?x winter
#####
IF
month ?x january
THEN
season ?x winter
#####
IF
month ?x february
THEN
season ?x winter
#####
IF
month ?x march
THEN
season ?x spring
#####
IF
month ?x april
THEN
season ?x spring
#####
IF
month ?x may
THEN
season ?x spring
#####
IF
month ?x june
THEN
season ?x summer
#####
IF
month ?x july
THEN
season ?x summer
#####
IF
month ?x august
THEN
season ?x summer
#####
IF
month ?x september
THEN
season ?x autumn
#####
IF
month ?x october
THEN
season ?x autumn
#####
IF
month ?x november
THEN
season ?x autumn
#####
IF
season ?x winter
operation ?x BusinessHours
THEN
thermostat_setting ?x 70
#####
IF
season ?x winter
operation ?x NOTBusinessHours
THEN
thermostat_setting ?x 50
#####
IF
season ?x autumn
operation ?x BusinessHours
THEN
thermostat_setting ?x 65
#####
IF
season ?x autumn
operation ?x NOTBusinessHours
THEN
thermostat_setting ?x 55
#####
IF
season ?x summer
operation ?x BusinessHours
THEN
thermostat_setting ?x 60
#####
IF
season ?x summer
operation ?x NOTBusinessHours
THEN
thermostat_setting ?x 50
#####
IF
season ?x spring
operation ?x BusinessHours
THEN
thermostat_setting ?x 68
#####
IF
season ?x spring
operation ?x NOTBusinessHours
THEN
thermostat_setting ?x 58
#####
WM
day today wednesday
month today february
time today 9to5
day startAterm thursday 
month startAterm august
time startAterm before9am
day halloween thurday
month halloween october
time halloween after5pm
day graduation saturday
month graduation may
time graduation 9to5
#####
CONJECTURES
dayofweek today weekend
operation startAterm NOTBusinessHours
season halloween fall
thermostat_setting today 70
thermostat_setting startAterm 70
thermostat_setting halloween 55
thermostat_setting graduation 60