%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------%

------ Parsing...successful


------ Proving...
use I-

Gamma_0: (extend-no-conflict)
  0: [wind_in_east]

Gamma_1: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)

Gamma_2: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)

Gamma_3: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut

Gamma_4: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)

Gamma_5: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)

Gamma_6: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open

Gamma_7: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)

Gamma_8: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: ~(cold), [neighbor_practices_flute], ~(foggy)

Gamma_9: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: ~(cold), [neighbor_practices_flute], ~(foggy)
  9: ~(fire_smokes), [door_is_open]

Gamma_10: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: ~(cold), [neighbor_practices_flute], ~(foggy)
  9: ~(fire_smokes), [door_is_open]
  10: ~(neighbor_practices_flute), [~(door_is_open)]

Gamma_11: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: ~(cold), [neighbor_practices_flute], ~(foggy)
  9: ~(neighbor_practices_flute), [~(door_is_open)]
  10: ~(fire_smokes), [door_is_open]

Gamma_12: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: ~(cold), [neighbor_practices_flute], ~(foggy)
  9: ~(neighbor_practices_flute), [~(door_is_open)]
  10: ~(neighbor_practices_flute), [~(fire_smokes)]

Gamma_13: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: ~(cold), [neighbor_practices_flute], ~(foggy)
  9: ~(neighbor_practices_flute), [~(door_is_open)]
  10: [~(neighbor_practices_flute)], ~(fire_smokes)

Gamma_14: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: [~(neighbor_practices_flute)], ~(fire_smokes)
  9: ~(cold), [neighbor_practices_flute], ~(foggy)
  10: ~(neighbor_practices_flute), [~(door_is_open)]

Gamma_15: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: [~(neighbor_practices_flute)], ~(fire_smokes)
  9: [~(cold)], ~(foggy), ~(fire_smokes)

Gamma_16: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: [~(neighbor_practices_flute)], ~(fire_smokes)
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_17: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(cold), ~(foggy), [~(fire_smokes)]
  8: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  9: [~(neighbor_practices_flute)], ~(fire_smokes)

Gamma_18: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(cold), ~(foggy), [~(fire_smokes)]
  8: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)

Gamma_19: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(cold), ~(foggy), [~(fire_smokes)]
  8: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)

Gamma_20: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  8: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_21: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: [~(i_feel_rheumatic)], ~(fire_is_lit), ~(cold), ~(foggy), door_is_open, ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_22: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_23: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]
  9: ~(cold), [neighbor_practices_flute], ~(foggy)

Gamma_24: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]
  9: ~(cold), [neighbor_practices_flute], ~(foggy)
  10: [~(neighbor_practices_flute)], ~(door_is_open)

Gamma_25: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]
  9: [~(neighbor_practices_flute)], ~(door_is_open)
  10: ~(cold), [neighbor_practices_flute], ~(foggy)

Gamma_26: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]
  9: [~(neighbor_practices_flute)], ~(door_is_open)
  10: [~(cold)], ~(foggy), ~(door_is_open)

Gamma_27: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]
  9: [~(neighbor_practices_flute)], ~(door_is_open)
  10: ~(cold), ~(foggy), [~(door_is_open)]

Gamma_28: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(cold), ~(foggy), [~(door_is_open)]
  8: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  9: ~(cold), ~(foggy), [~(fire_smokes)]
  10: [~(neighbor_practices_flute)], ~(door_is_open)

Gamma_29: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(cold), ~(foggy), [~(door_is_open)]
  8: [~(i_feel_rheumatic)], ~(fire_is_lit), ~(cold), ~(foggy), ~(wind_in_east)
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_30: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(cold), ~(foggy), [~(door_is_open)]
  8: ~(i_feel_rheumatic), [~(fire_is_lit)], ~(cold), ~(foggy), ~(wind_in_east)
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_31: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [~(fire_is_lit)], ~(cold), ~(foggy), ~(wind_in_east)
  6: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  7: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  8: ~(cold), ~(foggy), [~(door_is_open)]
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_32: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [~(fire_is_lit)], ~(cold), ~(foggy), ~(wind_in_east)
  6: [~(i_feel_rheumatic)], ~(cold), ~(foggy), ~(wind_in_east)
  7: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  8: ~(cold), ~(foggy), [~(door_is_open)]
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_33: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [~(fire_is_lit)], ~(cold), ~(foggy), ~(wind_in_east)
  6: [~(i_feel_rheumatic)], ~(cold), ~(foggy), ~(wind_in_east)
  7: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  8: ~(cold), ~(foggy), [~(door_is_open)]
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_34: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [~(i_feel_rheumatic)], ~(cold), ~(foggy), ~(wind_in_east)
  5: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  6: ~(i_feel_rheumatic), [~(fire_is_lit)], ~(cold), ~(foggy), ~(wind_in_east)
  7: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  8: ~(cold), ~(foggy), [~(door_is_open)]
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_35: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [~(i_feel_rheumatic)], ~(cold), ~(foggy), ~(wind_in_east)
  5: ~(cold), [~(foggy)], ~(wind_in_east)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(cold), ~(foggy), [~(door_is_open)]
  8: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_36: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [~(i_feel_rheumatic)], ~(cold), ~(foggy), ~(wind_in_east)
  5: [~(cold)], ~(foggy), ~(wind_in_east)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(cold), ~(foggy), [~(door_is_open)]
  8: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_37: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: [cold], ~(foggy), ~(sunshine), window_is_shut
  5: [~(i_feel_rheumatic)], ~(cold), ~(foggy), ~(wind_in_east)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(cold), ~(foggy), [~(door_is_open)]
  8: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_38: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: [~(foggy)], ~(sunshine), window_is_shut, ~(wind_in_east)

Gamma_39: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: ~(foggy), ~(sunshine), [window_is_shut], ~(wind_in_east)

Gamma_40: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: ~(foggy), ~(sunshine), [window_is_shut], ~(wind_in_east)
  5: [~(window_is_shut)]

Gamma_41: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: [~(window_is_shut)]
  5: ~(foggy), ~(sunshine), [window_is_shut], ~(wind_in_east)

Gamma_42: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: [~(window_is_shut)]
  5: [~(foggy)], ~(sunshine), ~(wind_in_east)

Gamma_43: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: [~(window_is_shut)]
  5: [~(foggy)], ~(sunshine), ~(wind_in_east)

Gamma_44: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [~(foggy)], ~(sunshine), ~(wind_in_east)
  3: [foggy], ~(sunshine)
  4: [~(cold)], ~(foggy), ~(wind_in_east)
  5: [~(window_is_shut)]

Gamma_45: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [~(foggy)], ~(sunshine), ~(wind_in_east)
  3: [~(sunshine)], ~(wind_in_east)
  4: [~(window_is_shut)]

Gamma_46: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [~(foggy)], ~(sunshine), ~(wind_in_east)
  3: [~(sunshine)], ~(wind_in_east)
  4: [~(window_is_shut)]

Gamma_47: (move)
  0: [wind_in_east]
  1: [~(sunshine)], ~(wind_in_east)
  2: [sunshine], ~(wind_in_east)
  3: [~(foggy)], ~(sunshine), ~(wind_in_east)
  4: [~(window_is_shut)]

Gamma_48: (resolve)
  0: [wind_in_east]
  1: [~(sunshine)], ~(wind_in_east)
  2: [~(wind_in_east)]
  3: [~(window_is_shut)]

Gamma_49: (extend-conflict)
  0: [wind_in_east]
  1: [~(sunshine)], ~(wind_in_east)
  2: [~(wind_in_east)]
  3: [~(window_is_shut)]

Gamma_50: (move)
  0: [~(wind_in_east)]
  1: [wind_in_east]
  2: [~(sunshine)], ~(wind_in_east)
  3: [~(window_is_shut)]

Gamma_51: (resolve)
  0: [~(wind_in_east)]
  1: []
  2: [~(window_is_shut)]

SZS status Unsatisfiable

%---------------- SGGS v1.0 (IJCAR 2020 submission) ----------------%

------ Parsing...successful


------ Proving...
use I-

Gamma_0: (extend-no-conflict)
  0: [wind_in_east]

Gamma_1: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)

Gamma_2: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)

Gamma_3: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut

Gamma_4: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)

Gamma_5: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)

Gamma_6: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open

Gamma_7: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)

Gamma_8: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: ~(cold), [neighbor_practices_flute], ~(foggy)

Gamma_9: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: ~(cold), [neighbor_practices_flute], ~(foggy)
  9: ~(fire_smokes), [door_is_open]

Gamma_10: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: ~(cold), [neighbor_practices_flute], ~(foggy)
  9: ~(fire_smokes), [door_is_open]
  10: ~(neighbor_practices_flute), [~(door_is_open)]

Gamma_11: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: ~(cold), [neighbor_practices_flute], ~(foggy)
  9: ~(neighbor_practices_flute), [~(door_is_open)]
  10: ~(fire_smokes), [door_is_open]

Gamma_12: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: ~(cold), [neighbor_practices_flute], ~(foggy)
  9: ~(neighbor_practices_flute), [~(door_is_open)]
  10: ~(neighbor_practices_flute), [~(fire_smokes)]

Gamma_13: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: ~(cold), [neighbor_practices_flute], ~(foggy)
  9: ~(neighbor_practices_flute), [~(door_is_open)]
  10: [~(neighbor_practices_flute)], ~(fire_smokes)

Gamma_14: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: [~(neighbor_practices_flute)], ~(fire_smokes)
  9: ~(cold), [neighbor_practices_flute], ~(foggy)
  10: ~(neighbor_practices_flute), [~(door_is_open)]

Gamma_15: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: [~(neighbor_practices_flute)], ~(fire_smokes)
  9: [~(cold)], ~(foggy), ~(fire_smokes)

Gamma_16: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  8: [~(neighbor_practices_flute)], ~(fire_smokes)
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_17: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(cold), ~(foggy), [~(fire_smokes)]
  8: ~(wind_in_gusts), [fire_smokes], ~(wind_in_east)
  9: [~(neighbor_practices_flute)], ~(fire_smokes)

Gamma_18: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(cold), ~(foggy), [~(fire_smokes)]
  8: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)

Gamma_19: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  7: ~(cold), ~(foggy), [~(fire_smokes)]
  8: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)

Gamma_20: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: [wind_in_gusts], ~(i_feel_rheumatic), ~(fire_is_lit), door_is_open
  8: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_21: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: [~(i_feel_rheumatic)], ~(fire_is_lit), ~(cold), ~(foggy), door_is_open, ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_22: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_23: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]
  9: ~(cold), [neighbor_practices_flute], ~(foggy)

Gamma_24: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]
  9: ~(cold), [neighbor_practices_flute], ~(foggy)
  10: [~(neighbor_practices_flute)], ~(door_is_open)

Gamma_25: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]
  9: [~(neighbor_practices_flute)], ~(door_is_open)
  10: ~(cold), [neighbor_practices_flute], ~(foggy)

Gamma_26: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]
  9: [~(neighbor_practices_flute)], ~(door_is_open)
  10: [~(cold)], ~(foggy), ~(door_is_open)

Gamma_27: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  8: ~(cold), ~(foggy), [~(fire_smokes)]
  9: [~(neighbor_practices_flute)], ~(door_is_open)
  10: ~(cold), ~(foggy), [~(door_is_open)]

Gamma_28: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(cold), ~(foggy), [~(door_is_open)]
  8: ~(i_feel_rheumatic), ~(fire_is_lit), ~(cold), ~(foggy), [door_is_open], ~(
wind_in_east)
  9: ~(cold), ~(foggy), [~(fire_smokes)]
  10: [~(neighbor_practices_flute)], ~(door_is_open)

Gamma_29: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(cold), ~(foggy), [~(door_is_open)]
  8: [~(i_feel_rheumatic)], ~(fire_is_lit), ~(cold), ~(foggy), ~(wind_in_east)
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_30: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(cold), ~(foggy), [~(door_is_open)]
  8: ~(i_feel_rheumatic), [~(fire_is_lit)], ~(cold), ~(foggy), ~(wind_in_east)
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_31: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [~(fire_is_lit)], ~(cold), ~(foggy), ~(wind_in_east)
  6: ~(i_feel_rheumatic), [fire_is_lit], ~(cold)
  7: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  8: ~(cold), ~(foggy), [~(door_is_open)]
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_32: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [~(fire_is_lit)], ~(cold), ~(foggy), ~(wind_in_east)
  6: [~(i_feel_rheumatic)], ~(cold), ~(foggy), ~(wind_in_east)
  7: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  8: ~(cold), ~(foggy), [~(door_is_open)]
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_33: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  5: ~(i_feel_rheumatic), [~(fire_is_lit)], ~(cold), ~(foggy), ~(wind_in_east)
  6: [~(i_feel_rheumatic)], ~(cold), ~(foggy), ~(wind_in_east)
  7: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  8: ~(cold), ~(foggy), [~(door_is_open)]
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_34: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [~(i_feel_rheumatic)], ~(cold), ~(foggy), ~(wind_in_east)
  5: [i_feel_rheumatic], ~(foggy), ~(wind_in_east)
  6: ~(i_feel_rheumatic), [~(fire_is_lit)], ~(cold), ~(foggy), ~(wind_in_east)
  7: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  8: ~(cold), ~(foggy), [~(door_is_open)]
  9: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_35: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [~(i_feel_rheumatic)], ~(cold), ~(foggy), ~(wind_in_east)
  5: ~(cold), [~(foggy)], ~(wind_in_east)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(cold), ~(foggy), [~(door_is_open)]
  8: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_36: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [cold], ~(foggy), ~(sunshine), window_is_shut
  4: [~(i_feel_rheumatic)], ~(cold), ~(foggy), ~(wind_in_east)
  5: [~(cold)], ~(foggy), ~(wind_in_east)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(cold), ~(foggy), [~(door_is_open)]
  8: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_37: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: [cold], ~(foggy), ~(sunshine), window_is_shut
  5: [~(i_feel_rheumatic)], ~(cold), ~(foggy), ~(wind_in_east)
  6: [~(wind_in_gusts)], ~(cold), ~(foggy), ~(wind_in_east)
  7: ~(cold), ~(foggy), [~(door_is_open)]
  8: ~(cold), ~(foggy), [~(fire_smokes)]

Gamma_38: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: [~(foggy)], ~(sunshine), window_is_shut, ~(wind_in_east)

Gamma_39: (extend-no-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: ~(foggy), ~(sunshine), [window_is_shut], ~(wind_in_east)

Gamma_40: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: ~(foggy), ~(sunshine), [window_is_shut], ~(wind_in_east)
  5: [~(window_is_shut)]

Gamma_41: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: [~(window_is_shut)]
  5: ~(foggy), ~(sunshine), [window_is_shut], ~(wind_in_east)

Gamma_42: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: [~(window_is_shut)]
  5: [~(foggy)], ~(sunshine), ~(wind_in_east)

Gamma_43: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [foggy], ~(sunshine)
  3: [~(cold)], ~(foggy), ~(wind_in_east)
  4: [~(window_is_shut)]
  5: [~(foggy)], ~(sunshine), ~(wind_in_east)

Gamma_44: (move)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [~(foggy)], ~(sunshine), ~(wind_in_east)
  3: [foggy], ~(sunshine)
  4: [~(cold)], ~(foggy), ~(wind_in_east)
  5: [~(window_is_shut)]

Gamma_45: (resolve)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [~(foggy)], ~(sunshine), ~(wind_in_east)
  3: [~(sunshine)], ~(wind_in_east)
  4: [~(window_is_shut)]

Gamma_46: (extend-conflict)
  0: [wind_in_east]
  1: [sunshine], ~(wind_in_east)
  2: [~(foggy)], ~(sunshine), ~(wind_in_east)
  3: [~(sunshine)], ~(wind_in_east)
  4: [~(window_is_shut)]

Gamma_47: (move)
  0: [wind_in_east]
  1: [~(sunshine)], ~(wind_in_east)
  2: [sunshine], ~(wind_in_east)
  3: [~(foggy)], ~(sunshine), ~(wind_in_east)
  4: [~(window_is_shut)]

Gamma_48: (resolve)
  0: [wind_in_east]
  1: [~(sunshine)], ~(wind_in_east)
  2: [~(wind_in_east)]
  3: [~(window_is_shut)]

Gamma_49: (extend-conflict)
  0: [wind_in_east]
  1: [~(sunshine)], ~(wind_in_east)
  2: [~(wind_in_east)]
  3: [~(window_is_shut)]

Gamma_50: (move)
  0: [~(wind_in_east)]
  1: [wind_in_east]
  2: [~(sunshine)], ~(wind_in_east)
  3: [~(window_is_shut)]

Gamma_51: (resolve)
  0: [~(wind_in_east)]
  1: []
  2: [~(window_is_shut)]

SZS status Unsatisfiable