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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [shaved(guido,cesare)]

Gamma_1: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]

Gamma_2: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]

Gamma_3: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]

Gamma_4: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]

Gamma_5: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))

Gamma_6: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))

Gamma_7: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))

Gamma_8: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))

Gamma_9: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))

Gamma_10: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))

Gamma_11: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))

Gamma_12: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))

Gamma_13: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: ~(shaved(members,petruchio)), [shaved(lorenzo,petruchio)], ~(member(lorenzo))

Gamma_14: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: ~(shaved(members,petruchio)), [shaved(lorenzo,petruchio)], ~(member(lorenzo))
  14: [shaved(members,lorenzo)], ~(shaved(lorenzo,petruchio)), ~(member(petruchio)), ~(
member(lorenzo))

Gamma_15: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: ~(shaved(members,petruchio)), [shaved(lorenzo,petruchio)], ~(member(lorenzo))
  14: [shaved(members,lorenzo)], ~(shaved(lorenzo,petruchio)), ~(member(petruchio)), ~(
member(lorenzo))
  15: ~(shaved(members,lorenzo)), [shaved(cesare,lorenzo)], ~(member(cesare))

Gamma_16: (extend-no-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: ~(shaved(members,petruchio)), [shaved(lorenzo,petruchio)], ~(member(lorenzo))
  14: [shaved(members,lorenzo)], ~(shaved(lorenzo,petruchio)), ~(member(petruchio)), ~(
member(lorenzo))
  15: ~(shaved(members,lorenzo)), [shaved(cesare,lorenzo)], ~(member(cesare))
  16: ~(shaved(members,lorenzo)), [shaved(petruchio,lorenzo)], ~(member(petruchio))

Gamma_17: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: ~(shaved(members,petruchio)), [shaved(lorenzo,petruchio)], ~(member(lorenzo))
  14: [shaved(members,lorenzo)], ~(shaved(lorenzo,petruchio)), ~(member(petruchio)), ~(
member(lorenzo))
  15: ~(shaved(members,lorenzo)), [shaved(cesare,lorenzo)], ~(member(cesare))
  16: ~(shaved(members,lorenzo)), [shaved(petruchio,lorenzo)], ~(member(petruchio))
  17: [~(shaved(petruchio,lorenzo))]

Gamma_18: (move)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: ~(shaved(members,petruchio)), [shaved(lorenzo,petruchio)], ~(member(lorenzo))
  14: [shaved(members,lorenzo)], ~(shaved(lorenzo,petruchio)), ~(member(petruchio)), ~(
member(lorenzo))
  15: ~(shaved(members,lorenzo)), [shaved(cesare,lorenzo)], ~(member(cesare))
  16: [~(shaved(petruchio,lorenzo))]
  17: ~(shaved(members,lorenzo)), [shaved(petruchio,lorenzo)], ~(member(petruchio))

Gamma_19: (resolve)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: ~(shaved(members,petruchio)), [shaved(lorenzo,petruchio)], ~(member(lorenzo))
  14: [shaved(members,lorenzo)], ~(shaved(lorenzo,petruchio)), ~(member(petruchio)), ~(
member(lorenzo))
  15: ~(shaved(members,lorenzo)), [shaved(cesare,lorenzo)], ~(member(cesare))
  16: [~(shaved(petruchio,lorenzo))]
  17: [~(shaved(members,lorenzo))], ~(member(petruchio))

Gamma_20: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: ~(shaved(members,petruchio)), [shaved(lorenzo,petruchio)], ~(member(lorenzo))
  14: [shaved(members,lorenzo)], ~(shaved(lorenzo,petruchio)), ~(member(petruchio)), ~(
member(lorenzo))
  15: ~(shaved(members,lorenzo)), [shaved(cesare,lorenzo)], ~(member(cesare))
  16: [~(shaved(petruchio,lorenzo))]
  17: [~(shaved(members,lorenzo))], ~(member(petruchio))

Gamma_21: (move)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: ~(shaved(members,petruchio)), [shaved(lorenzo,petruchio)], ~(member(lorenzo))
  14: [~(shaved(members,lorenzo))], ~(member(petruchio))
  15: [shaved(members,lorenzo)], ~(shaved(lorenzo,petruchio)), ~(member(petruchio)), ~(
member(lorenzo))
  16: ~(shaved(members,lorenzo)), [shaved(cesare,lorenzo)], ~(member(cesare))
  17: [~(shaved(petruchio,lorenzo))]

Gamma_22: (resolve)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: ~(shaved(members,petruchio)), [shaved(lorenzo,petruchio)], ~(member(lorenzo))
  14: [~(shaved(members,lorenzo))], ~(member(petruchio))
  15: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  16: [~(shaved(petruchio,lorenzo))]

Gamma_23: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: ~(shaved(members,petruchio)), [shaved(lorenzo,petruchio)], ~(member(lorenzo))
  14: [~(shaved(members,lorenzo))], ~(member(petruchio))
  15: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  16: [~(shaved(petruchio,lorenzo))]

Gamma_24: (move)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  14: ~(shaved(members,petruchio)), [shaved(lorenzo,petruchio)], ~(member(lorenzo))
  15: [~(shaved(members,lorenzo))], ~(member(petruchio))
  16: [~(shaved(petruchio,lorenzo))]

Gamma_25: (resolve)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  14: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  15: [~(shaved(members,lorenzo))], ~(member(petruchio))
  16: [~(shaved(petruchio,lorenzo))]

Gamma_26: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  11: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  12: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  13: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  14: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  15: [~(shaved(members,lorenzo))], ~(member(petruchio))
  16: [~(shaved(petruchio,lorenzo))]

Gamma_27: (move)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  11: [shaved(members,petruchio)], ~(shaved(petruchio,cesare)), ~(member(cesare)), ~(
member(petruchio))
  12: ~(shaved(members,petruchio)), [shaved(cesare,petruchio)], ~(member(cesare))
  13: ~(shaved(members,petruchio)), [shaved(petruchio,petruchio)], ~(
member(petruchio))
  14: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  15: [~(shaved(members,lorenzo))], ~(member(petruchio))
  16: [~(shaved(petruchio,lorenzo))]

Gamma_28: (resolve)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  11: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  12: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  13: [~(shaved(members,lorenzo))], ~(member(petruchio))
  14: [~(shaved(petruchio,lorenzo))]

Gamma_29: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  10: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  11: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  12: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  13: [~(shaved(members,lorenzo))], ~(member(petruchio))
  14: [~(shaved(petruchio,lorenzo))]

Gamma_30: (move)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  10: ~(shaved(members,cesare)), [shaved(petruchio,cesare)], ~(member(petruchio))
  11: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  13: [~(shaved(members,lorenzo))], ~(member(petruchio))
  14: [~(shaved(petruchio,lorenzo))]

Gamma_31: (resolve)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  10: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  11: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  13: [~(shaved(members,lorenzo))], ~(member(petruchio))
  14: [~(shaved(petruchio,lorenzo))]

Gamma_32: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  8: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  9: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  10: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  11: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  13: [~(shaved(members,lorenzo))], ~(member(petruchio))
  14: [~(shaved(petruchio,lorenzo))]

Gamma_33: (move)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  8: [shaved(members,cesare)], ~(shaved(cesare,guido)), ~(member(cesare)), ~(
member(guido))
  9: ~(shaved(members,cesare)), [shaved(cesare,cesare)], ~(member(cesare))
  10: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  11: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  13: [~(shaved(members,lorenzo))], ~(member(petruchio))
  14: [~(shaved(petruchio,lorenzo))]

Gamma_34: (resolve)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  8: [~(shaved(cesare,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  9: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  10: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  11: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(members,lorenzo))], ~(member(petruchio))
  13: [~(shaved(petruchio,lorenzo))]

Gamma_35: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  7: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  8: [~(shaved(cesare,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  9: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  10: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  11: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(members,lorenzo))], ~(member(petruchio))
  13: [~(shaved(petruchio,lorenzo))]

Gamma_36: (move)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: [~(shaved(cesare,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  7: ~(shaved(members,guido)), [shaved(cesare,guido)], ~(member(cesare))
  8: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  9: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  10: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  11: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(members,lorenzo))], ~(member(petruchio))
  13: [~(shaved(petruchio,lorenzo))]

Gamma_37: (resolve)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: [~(shaved(cesare,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  7: [~(shaved(members,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  8: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  9: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  10: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  11: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(members,lorenzo))], ~(member(petruchio))
  13: [~(shaved(petruchio,lorenzo))]

Gamma_38: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  6: [~(shaved(cesare,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  7: [~(shaved(members,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  8: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  9: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  10: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  11: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(members,lorenzo))], ~(member(petruchio))
  13: [~(shaved(petruchio,lorenzo))]

Gamma_39: (move)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [~(shaved(members,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  6: [shaved(members,guido)], ~(shaved(guido,cesare)), ~(member(cesare)), ~(
member(guido))
  7: [~(shaved(cesare,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  8: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  9: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  10: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  11: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(members,lorenzo))], ~(member(petruchio))
  13: [~(shaved(petruchio,lorenzo))]

Gamma_40: (resolve)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [~(shaved(members,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  6: [~(shaved(guido,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  7: [~(shaved(cesare,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  8: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  9: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  10: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  11: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(members,lorenzo))], ~(member(petruchio))
  13: [~(shaved(petruchio,lorenzo))]

Gamma_41: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: [member(guido)]
  5: [~(shaved(members,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  6: ~(shaved(guido,cesare)), ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), [~(member(guido))]
  7: [~(shaved(cesare,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  8: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  9: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  10: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  11: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(members,lorenzo))], ~(member(petruchio))
  13: [~(shaved(petruchio,lorenzo))]

Gamma_42: (move)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: ~(shaved(guido,cesare)), ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), [~(member(guido))]
  5: [member(guido)]
  6: [~(shaved(members,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  7: [~(shaved(cesare,guido))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), ~(member(guido))
  8: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  9: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  10: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  11: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  12: [~(shaved(members,lorenzo))], ~(member(petruchio))
  13: [~(shaved(petruchio,lorenzo))]

Gamma_43: (resolve)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: ~(shaved(guido,cesare)), ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), [~(member(guido))]
  5: [~(shaved(guido,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  6: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  7: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  8: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  9: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  10: [~(shaved(members,lorenzo))], ~(member(petruchio))
  11: [~(shaved(petruchio,lorenzo))]

Gamma_44: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: [member(lorenzo)]
  4: ~(shaved(guido,cesare)), ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), [~(member(guido))]
  5: ~(shaved(guido,cesare)), ~(member(cesare)), ~(member(petruchio)), [~(
member(lorenzo))]
  6: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  7: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  8: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  9: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  10: [~(shaved(members,lorenzo))], ~(member(petruchio))
  11: [~(shaved(petruchio,lorenzo))]

Gamma_45: (move)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: ~(shaved(guido,cesare)), ~(member(cesare)), ~(member(petruchio)), [~(
member(lorenzo))]
  4: [member(lorenzo)]
  5: ~(shaved(guido,cesare)), ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo)), [~(member(guido))]
  6: [~(shaved(members,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  7: [~(shaved(petruchio,cesare))], ~(member(cesare)), ~(member(petruchio)), ~(
member(lorenzo))
  8: [~(shaved(members,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  9: [~(shaved(lorenzo,petruchio))], ~(member(petruchio)), ~(member(lorenzo))
  10: [~(shaved(members,lorenzo))], ~(member(petruchio))
  11: [~(shaved(petruchio,lorenzo))]

Gamma_46: (resolve)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: ~(shaved(guido,cesare)), ~(member(cesare)), ~(member(petruchio)), [~(
member(lorenzo))]
  4: [~(shaved(guido,cesare))], ~(member(cesare)), ~(member(petruchio))
  5: [~(shaved(members,lorenzo))], ~(member(petruchio))
  6: [~(shaved(petruchio,lorenzo))]

Gamma_47: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: [member(petruchio)]
  3: ~(shaved(guido,cesare)), ~(member(cesare)), ~(member(petruchio)), [~(
member(lorenzo))]
  4: ~(shaved(guido,cesare)), ~(member(cesare)), [~(member(petruchio))]
  5: [~(shaved(members,lorenzo))], ~(member(petruchio))
  6: [~(shaved(petruchio,lorenzo))]

Gamma_48: (move)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: ~(shaved(guido,cesare)), ~(member(cesare)), [~(member(petruchio))]
  3: [member(petruchio)]
  4: ~(shaved(guido,cesare)), ~(member(cesare)), ~(member(petruchio)), [~(
member(lorenzo))]
  5: [~(shaved(members,lorenzo))], ~(member(petruchio))
  6: [~(shaved(petruchio,lorenzo))]

Gamma_49: (resolve)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: ~(shaved(guido,cesare)), ~(member(cesare)), [~(member(petruchio))]
  3: [~(shaved(guido,cesare))], ~(member(cesare))
  4: [~(shaved(petruchio,lorenzo))]

Gamma_50: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: [member(cesare)]
  2: ~(shaved(guido,cesare)), ~(member(cesare)), [~(member(petruchio))]
  3: ~(shaved(guido,cesare)), [~(member(cesare))]
  4: [~(shaved(petruchio,lorenzo))]

Gamma_51: (move)
  0: [shaved(guido,cesare)]
  1: ~(shaved(guido,cesare)), [~(member(cesare))]
  2: [member(cesare)]
  3: ~(shaved(guido,cesare)), ~(member(cesare)), [~(member(petruchio))]
  4: [~(shaved(petruchio,lorenzo))]

Gamma_52: (resolve)
  0: [shaved(guido,cesare)]
  1: ~(shaved(guido,cesare)), [~(member(cesare))]
  2: [~(shaved(guido,cesare))]
  3: [~(shaved(petruchio,lorenzo))]

Gamma_53: (extend-conflict)
  0: [shaved(guido,cesare)]
  1: ~(shaved(guido,cesare)), [~(member(cesare))]
  2: [~(shaved(guido,cesare))]
  3: [~(shaved(petruchio,lorenzo))]

Gamma_54: (move)
  0: [~(shaved(guido,cesare))]
  1: [shaved(guido,cesare)]
  2: ~(shaved(guido,cesare)), [~(member(cesare))]
  3: [~(shaved(petruchio,lorenzo))]

Gamma_55: (resolve)
  0: [~(shaved(guido,cesare))]
  1: []
  2: [~(shaved(petruchio,lorenzo))]

SZS status Unsatisfiable