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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play

Gamma_1: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat

Gamma_2: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight

Gamma_3: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not

Gamma_4: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake

Gamma_5: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing

Gamma_6: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]

Gamma_7: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)

Gamma_8: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: [some_english_sing]

Gamma_9: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: [some_english_sing]
  9: ~(some_english_sing_not), [some_monitors_are_awake], ~(some_english_sing)

Gamma_10: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: [some_english_sing]
  9: ~(some_english_sing_not), [some_monitors_are_awake], ~(some_english_sing)
  10: [~(some_monitors_are_awake)]

Gamma_11: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: [some_english_sing]
  9: [~(some_monitors_are_awake)]
  10: ~(some_english_sing_not), [some_monitors_are_awake], ~(some_english_sing)

Gamma_12: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: [some_english_sing]
  9: [~(some_monitors_are_awake)]
  10: [~(some_english_sing_not)], ~(some_english_sing)

Gamma_13: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: [some_english_sing]
  9: [~(some_monitors_are_awake)]
  10: ~(some_english_sing_not), [~(some_english_sing)]

Gamma_14: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: ~(some_english_sing_not), [~(some_english_sing)]
  9: [some_english_sing]
  10: [~(some_monitors_are_awake)]

Gamma_15: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: ~(some_english_sing_not), [~(some_english_sing)]
  9: [~(some_english_sing_not)]
  10: [~(some_monitors_are_awake)]

Gamma_16: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: ~(some_english_sing_not), [~(some_english_sing)]
  9: [~(some_english_sing_not)]
  10: [~(some_monitors_are_awake)]

Gamma_17: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing_not], some_english_sing
  7: [some_scotch_dance_not]
  8: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  9: ~(some_english_sing_not), [~(some_english_sing)]
  10: [~(some_monitors_are_awake)]

Gamma_18: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: [some_scotch_dance_not]
  8: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  9: [~(some_monitors_are_awake)]

Gamma_19: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: [some_scotch_dance_not]
  8: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  9: [~(some_monitors_are_awake)]

Gamma_20: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: [some_scotch_dance_not]
  8: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  9: [~(some_monitors_are_awake)]
  10: [~(some_germans_play)], some_english_sing_not, ~(some_scotch_dance_not), ~(
some_english_sing)

Gamma_21: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: [some_scotch_dance_not]
  8: [~(some_germans_play)], some_english_sing_not, ~(some_scotch_dance_not), ~(
some_english_sing)
  9: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  10: [~(some_monitors_are_awake)]

Gamma_22: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: [some_scotch_dance_not]
  8: [~(some_germans_play)], some_english_sing_not, ~(some_scotch_dance_not), ~(
some_english_sing)
  9: [~(some_irish_fight_not)], some_english_sing_not, ~(some_scotch_dance_not), ~(
some_english_sing)
  10: [~(some_monitors_are_awake)]

Gamma_23: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: [some_scotch_dance_not]
  8: [~(some_germans_play)], some_english_sing_not, ~(some_scotch_dance_not), ~(
some_english_sing)
  9: ~(some_irish_fight_not), some_english_sing_not, [~(some_scotch_dance_not)], ~(
some_english_sing)
  10: [~(some_monitors_are_awake)]

Gamma_24: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: ~(some_irish_fight_not), some_english_sing_not, [~(some_scotch_dance_not)], ~(
some_english_sing)
  8: [some_scotch_dance_not]
  9: [~(some_germans_play)], some_english_sing_not, ~(some_scotch_dance_not), ~(
some_english_sing)
  10: [~(some_monitors_are_awake)]

Gamma_25: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: ~(some_irish_fight_not), some_english_sing_not, [~(some_scotch_dance_not)], ~(
some_english_sing)
  8: [~(some_irish_fight_not)], some_english_sing_not, ~(some_english_sing)
  9: [~(some_monitors_are_awake)]

Gamma_26: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: ~(some_irish_fight_not), some_english_sing_not, [~(some_scotch_dance_not)], ~(
some_english_sing)
  8: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  9: [~(some_monitors_are_awake)]

Gamma_27: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  7: [some_english_sing]
  8: ~(some_irish_fight_not), some_english_sing_not, [~(some_scotch_dance_not)], ~(
some_english_sing)
  9: [~(some_monitors_are_awake)]

Gamma_28: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  7: [~(some_irish_fight_not)], some_english_sing_not
  8: [~(some_monitors_are_awake)]

Gamma_29: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  7: ~(some_irish_fight_not), [some_english_sing_not]
  8: [~(some_monitors_are_awake)]

Gamma_30: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  7: [~(some_irish_fight_not)]
  8: [~(some_monitors_are_awake)]

Gamma_31: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  7: [~(some_irish_fight_not)]
  8: [~(some_monitors_are_awake)]

Gamma_32: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: [some_irish_fight_not], some_irish_fight
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  8: [~(some_monitors_are_awake)]

Gamma_33: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: [some_irish_fight]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]

Gamma_34: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: [some_irish_fight]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]

Gamma_35: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: [some_irish_fight]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: ~(some_germans_play_not), ~(some_welsh_eat_not), [~(some_irish_fight)]

Gamma_36: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: ~(some_germans_play_not), ~(some_welsh_eat_not), [~(some_irish_fight)]
  4: [some_irish_fight]
  5: [some_scotch_dance], some_scotch_dance_not
  6: [some_monitors_are_not_awake], some_monitors_are_awake
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]

Gamma_37: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: ~(some_germans_play_not), ~(some_welsh_eat_not), [~(some_irish_fight)]
  4: [~(some_germans_play_not)], ~(some_welsh_eat_not)
  5: [some_scotch_dance], some_scotch_dance_not
  6: [some_monitors_are_not_awake], some_monitors_are_awake
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]

Gamma_38: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: ~(some_germans_play_not), ~(some_welsh_eat_not), [~(some_irish_fight)]
  4: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  5: [some_scotch_dance], some_scotch_dance_not
  6: [some_monitors_are_not_awake], some_monitors_are_awake
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]

Gamma_39: (move)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: [some_welsh_eat_not], some_welsh_eat
  3: [~(some_irish_fight_not)]
  4: ~(some_germans_play_not), ~(some_welsh_eat_not), [~(some_irish_fight)]
  5: [some_scotch_dance], some_scotch_dance_not
  6: [some_monitors_are_not_awake], some_monitors_are_awake
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]

Gamma_40: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]

Gamma_41: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]

Gamma_42: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]

Gamma_43: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_english_sing_not, [some_english_sing]

Gamma_44: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_english_sing_not, [some_english_sing]
  10: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]

Gamma_45: (move)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]
  10: some_english_sing_not, [some_english_sing]

Gamma_46: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]
  10: some_irish_fight_not, ~(some_monitors_are_not_awake), [some_english_sing_not]

Gamma_47: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]
  10: some_irish_fight_not, ~(some_monitors_are_not_awake), [some_english_sing_not]

Gamma_48: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]
  10: [some_irish_fight_not], ~(some_monitors_are_not_awake)

Gamma_49: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]
  10: some_irish_fight_not, [~(some_monitors_are_not_awake)]

Gamma_50: (move)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: [some_monitors_are_not_awake], some_monitors_are_awake
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]
  9: some_irish_fight_not, [some_irish_fight]
  10: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]

Gamma_51: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: some_irish_fight_not, [some_monitors_are_awake]
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]
  9: some_irish_fight_not, [some_irish_fight]

Gamma_52: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: some_irish_fight_not, [some_monitors_are_awake]
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]
  9: some_irish_fight_not, [some_irish_fight]

Gamma_53: (move)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: [~(some_monitors_are_awake)]
  7: some_irish_fight_not, [some_monitors_are_awake]
  8: [~(some_english_sing_not)]
  9: some_irish_fight_not, [some_irish_fight]

Gamma_54: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: [~(some_monitors_are_awake)]
  7: [some_irish_fight_not]
  8: [~(some_english_sing_not)]
  9: some_irish_fight_not, [some_irish_fight]

Gamma_55: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: [~(some_monitors_are_awake)]
  7: [some_irish_fight_not]
  8: [~(some_english_sing_not)]
  9: some_irish_fight_not, [some_irish_fight]

Gamma_56: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: [~(some_monitors_are_awake)]
  7: []
  8: [~(some_english_sing_not)]
  9: some_irish_fight_not, [some_irish_fight]

SZS status Unsatisfiable

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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play

Gamma_1: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat

Gamma_2: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight

Gamma_3: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not

Gamma_4: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake

Gamma_5: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing

Gamma_6: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]

Gamma_7: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)

Gamma_8: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: [some_english_sing]

Gamma_9: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: [some_english_sing]
  9: ~(some_english_sing_not), [some_monitors_are_awake], ~(some_english_sing)

Gamma_10: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: [some_english_sing]
  9: ~(some_english_sing_not), [some_monitors_are_awake], ~(some_english_sing)
  10: [~(some_monitors_are_awake)]

Gamma_11: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: [some_english_sing]
  9: [~(some_monitors_are_awake)]
  10: ~(some_english_sing_not), [some_monitors_are_awake], ~(some_english_sing)

Gamma_12: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: [some_english_sing]
  9: [~(some_monitors_are_awake)]
  10: [~(some_english_sing_not)], ~(some_english_sing)

Gamma_13: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: [some_english_sing]
  9: [~(some_monitors_are_awake)]
  10: ~(some_english_sing_not), [~(some_english_sing)]

Gamma_14: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: ~(some_english_sing_not), [~(some_english_sing)]
  9: [some_english_sing]
  10: [~(some_monitors_are_awake)]

Gamma_15: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: ~(some_english_sing_not), [~(some_english_sing)]
  9: [~(some_english_sing_not)]
  10: [~(some_monitors_are_awake)]

Gamma_16: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [some_english_sing_not], some_english_sing
  6: [some_scotch_dance_not]
  7: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  8: ~(some_english_sing_not), [~(some_english_sing)]
  9: [~(some_english_sing_not)]
  10: [~(some_monitors_are_awake)]

Gamma_17: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing_not], some_english_sing
  7: [some_scotch_dance_not]
  8: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  9: ~(some_english_sing_not), [~(some_english_sing)]
  10: [~(some_monitors_are_awake)]

Gamma_18: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: [some_scotch_dance_not]
  8: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  9: [~(some_monitors_are_awake)]

Gamma_19: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: [some_scotch_dance_not]
  8: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  9: [~(some_monitors_are_awake)]

Gamma_20: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: [some_scotch_dance_not]
  8: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  9: [~(some_monitors_are_awake)]
  10: [~(some_germans_play)], some_english_sing_not, ~(some_scotch_dance_not), ~(
some_english_sing)

Gamma_21: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: [some_scotch_dance_not]
  8: [~(some_germans_play)], some_english_sing_not, ~(some_scotch_dance_not), ~(
some_english_sing)
  9: [some_germans_play], ~(some_irish_fight_not), ~(some_scotch_dance_not)
  10: [~(some_monitors_are_awake)]

Gamma_22: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: [some_scotch_dance_not]
  8: [~(some_germans_play)], some_english_sing_not, ~(some_scotch_dance_not), ~(
some_english_sing)
  9: [~(some_irish_fight_not)], some_english_sing_not, ~(some_scotch_dance_not), ~(
some_english_sing)
  10: [~(some_monitors_are_awake)]

Gamma_23: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: [some_scotch_dance_not]
  8: [~(some_germans_play)], some_english_sing_not, ~(some_scotch_dance_not), ~(
some_english_sing)
  9: ~(some_irish_fight_not), some_english_sing_not, [~(some_scotch_dance_not)], ~(
some_english_sing)
  10: [~(some_monitors_are_awake)]

Gamma_24: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: ~(some_irish_fight_not), some_english_sing_not, [~(some_scotch_dance_not)], ~(
some_english_sing)
  8: [some_scotch_dance_not]
  9: [~(some_germans_play)], some_english_sing_not, ~(some_scotch_dance_not), ~(
some_english_sing)
  10: [~(some_monitors_are_awake)]

Gamma_25: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: ~(some_irish_fight_not), some_english_sing_not, [~(some_scotch_dance_not)], ~(
some_english_sing)
  8: [~(some_irish_fight_not)], some_english_sing_not, ~(some_english_sing)
  9: [~(some_monitors_are_awake)]

Gamma_26: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: [some_english_sing]
  7: ~(some_irish_fight_not), some_english_sing_not, [~(some_scotch_dance_not)], ~(
some_english_sing)
  8: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  9: [~(some_monitors_are_awake)]

Gamma_27: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  7: [some_english_sing]
  8: ~(some_irish_fight_not), some_english_sing_not, [~(some_scotch_dance_not)], ~(
some_english_sing)
  9: [~(some_monitors_are_awake)]

Gamma_28: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  7: [~(some_irish_fight_not)], some_english_sing_not
  8: [~(some_monitors_are_awake)]

Gamma_29: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  7: ~(some_irish_fight_not), [some_english_sing_not]
  8: [~(some_monitors_are_awake)]

Gamma_30: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  7: [~(some_irish_fight_not)]
  8: [~(some_monitors_are_awake)]

Gamma_31: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [some_irish_fight_not], some_irish_fight
  3: [some_scotch_dance], some_scotch_dance_not
  4: [some_monitors_are_not_awake], some_monitors_are_awake
  5: [~(some_english_sing_not)]
  6: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  7: [~(some_irish_fight_not)]
  8: [~(some_monitors_are_awake)]

Gamma_32: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: [some_irish_fight_not], some_irish_fight
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: ~(some_irish_fight_not), some_english_sing_not, [~(some_english_sing)]
  8: [~(some_monitors_are_awake)]

Gamma_33: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: [some_irish_fight]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]

Gamma_34: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: [some_irish_fight]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]

Gamma_35: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: [some_irish_fight]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: ~(some_germans_play_not), ~(some_welsh_eat_not), [~(some_irish_fight)]

Gamma_36: (move)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: ~(some_germans_play_not), ~(some_welsh_eat_not), [~(some_irish_fight)]
  4: [some_irish_fight]
  5: [some_scotch_dance], some_scotch_dance_not
  6: [some_monitors_are_not_awake], some_monitors_are_awake
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]

Gamma_37: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: ~(some_germans_play_not), ~(some_welsh_eat_not), [~(some_irish_fight)]
  4: [~(some_germans_play_not)], ~(some_welsh_eat_not)
  5: [some_scotch_dance], some_scotch_dance_not
  6: [some_monitors_are_not_awake], some_monitors_are_awake
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]

Gamma_38: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: [some_welsh_eat_not], some_welsh_eat
  2: [~(some_irish_fight_not)]
  3: ~(some_germans_play_not), ~(some_welsh_eat_not), [~(some_irish_fight)]
  4: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  5: [some_scotch_dance], some_scotch_dance_not
  6: [some_monitors_are_not_awake], some_monitors_are_awake
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]

Gamma_39: (move)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: [some_welsh_eat_not], some_welsh_eat
  3: [~(some_irish_fight_not)]
  4: ~(some_germans_play_not), ~(some_welsh_eat_not), [~(some_irish_fight)]
  5: [some_scotch_dance], some_scotch_dance_not
  6: [some_monitors_are_not_awake], some_monitors_are_awake
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]

Gamma_40: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]

Gamma_41: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]

Gamma_42: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]

Gamma_43: (extend-no-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_english_sing_not, [some_english_sing]

Gamma_44: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_english_sing_not, [some_english_sing]
  10: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]

Gamma_45: (move)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]
  10: some_english_sing_not, [some_english_sing]

Gamma_46: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]
  10: some_irish_fight_not, ~(some_monitors_are_not_awake), [some_english_sing_not]

Gamma_47: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]
  10: some_irish_fight_not, ~(some_monitors_are_not_awake), [some_english_sing_not]

Gamma_48: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]
  10: [some_irish_fight_not], ~(some_monitors_are_not_awake)

Gamma_49: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: [some_monitors_are_not_awake], some_monitors_are_awake
  6: [~(some_english_sing_not)]
  7: [~(some_monitors_are_awake)]
  8: some_irish_fight_not, [some_irish_fight]
  9: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]
  10: some_irish_fight_not, [~(some_monitors_are_not_awake)]

Gamma_50: (move)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: [some_monitors_are_not_awake], some_monitors_are_awake
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]
  9: some_irish_fight_not, [some_irish_fight]
  10: some_irish_fight_not, ~(some_monitors_are_not_awake), [~(some_english_sing)]

Gamma_51: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: some_irish_fight_not, [some_monitors_are_awake]
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]
  9: some_irish_fight_not, [some_irish_fight]

Gamma_52: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: some_irish_fight_not, [some_monitors_are_awake]
  7: [~(some_english_sing_not)]
  8: [~(some_monitors_are_awake)]
  9: some_irish_fight_not, [some_irish_fight]

Gamma_53: (move)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: [~(some_monitors_are_awake)]
  7: some_irish_fight_not, [some_monitors_are_awake]
  8: [~(some_english_sing_not)]
  9: some_irish_fight_not, [some_irish_fight]

Gamma_54: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: [~(some_monitors_are_awake)]
  7: [some_irish_fight_not]
  8: [~(some_english_sing_not)]
  9: some_irish_fight_not, [some_irish_fight]

Gamma_55: (extend-conflict)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: [~(some_monitors_are_awake)]
  7: [some_irish_fight_not]
  8: [~(some_english_sing_not)]
  9: some_irish_fight_not, [some_irish_fight]

Gamma_56: (resolve)
  0: [some_germans_play_not], some_germans_play
  1: ~(some_germans_play_not), [~(some_welsh_eat_not)]
  2: ~(some_germans_play_not), [some_welsh_eat]
  3: [~(some_irish_fight_not)]
  4: [some_scotch_dance], some_scotch_dance_not
  5: some_irish_fight_not, [~(some_monitors_are_not_awake)]
  6: [~(some_monitors_are_awake)]
  7: []
  8: [~(some_english_sing_not)]
  9: some_irish_fight_not, [some_irish_fight]

SZS status Unsatisfiable