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

------ Parsing...successful


------ Proving...
flip all literals with predicate old
use I-

Gamma_0: (extend-no-conflict)
  0: [balloonist(piggy)]

Gamma_1: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]

Gamma_2: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]

Gamma_3: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))

Gamma_4: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))

Gamma_5: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)

Gamma_6: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))

Gamma_7: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))

Gamma_8: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]

Gamma_9: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))

Gamma_10: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [looks_ridiculous(piggy)], ~(has_umbrella(piggy)), ~(pig(piggy))

Gamma_11: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [looks_ridiculous(piggy)], ~(has_umbrella(piggy)), ~(pig(piggy))
  11: [eats_lunch_in_public(piggy)], ~(looks_ridiculous(piggy)), ~(fat(piggy)), dances_on_tightropes(
piggy)

Gamma_12: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [looks_ridiculous(piggy)], ~(has_umbrella(piggy)), ~(pig(piggy))
  11: [eats_lunch_in_public(piggy)], ~(looks_ridiculous(piggy)), ~(fat(piggy)), dances_on_tightropes(
piggy)
  12: [~(eats_lunch_in_public(piggy))], ~(looks_ridiculous(piggy)), ~(
eats_pennybuns(piggy))

Gamma_13: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [looks_ridiculous(piggy)], ~(has_umbrella(piggy)), ~(pig(piggy))
  11: [~(eats_lunch_in_public(piggy))], ~(looks_ridiculous(piggy)), ~(
eats_pennybuns(piggy))
  12: [eats_lunch_in_public(piggy)], ~(looks_ridiculous(piggy)), ~(fat(piggy)), dances_on_tightropes(
piggy)

Gamma_14: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [looks_ridiculous(piggy)], ~(has_umbrella(piggy)), ~(pig(piggy))
  11: [~(eats_lunch_in_public(piggy))], ~(looks_ridiculous(piggy)), ~(
eats_pennybuns(piggy))
  12: [~(looks_ridiculous(piggy))], ~(fat(piggy)), ~(eats_pennybuns(piggy)), dances_on_tightropes(
piggy)

Gamma_15: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [looks_ridiculous(piggy)], ~(has_umbrella(piggy)), ~(pig(piggy))
  11: [~(eats_lunch_in_public(piggy))], ~(looks_ridiculous(piggy)), ~(
eats_pennybuns(piggy))
  12: ~(looks_ridiculous(piggy)), ~(fat(piggy)), ~(eats_pennybuns(piggy)), [dances_on_tightropes(
piggy)]

Gamma_16: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [looks_ridiculous(piggy)], ~(has_umbrella(piggy)), ~(pig(piggy))
  11: [~(eats_lunch_in_public(piggy))], ~(looks_ridiculous(piggy)), ~(
eats_pennybuns(piggy))
  12: ~(looks_ridiculous(piggy)), ~(fat(piggy)), ~(eats_pennybuns(piggy)), [dances_on_tightropes(
piggy)]
  13: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))], ~(
wise(piggy))

Gamma_17: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [looks_ridiculous(piggy)], ~(has_umbrella(piggy)), ~(pig(piggy))
  11: [~(eats_lunch_in_public(piggy))], ~(looks_ridiculous(piggy)), ~(
eats_pennybuns(piggy))
  12: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))], ~(
wise(piggy))
  13: ~(looks_ridiculous(piggy)), ~(fat(piggy)), ~(eats_pennybuns(piggy)), [dances_on_tightropes(
piggy)]

Gamma_18: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [looks_ridiculous(piggy)], ~(has_umbrella(piggy)), ~(pig(piggy))
  11: [~(eats_lunch_in_public(piggy))], ~(looks_ridiculous(piggy)), ~(
eats_pennybuns(piggy))
  12: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))], ~(
wise(piggy))
  13: [~(looks_ridiculous(piggy))], ~(liable_to_giddiness(piggy)), ~(
fat(piggy)), ~(eats_pennybuns(piggy)), ~(wise(piggy))

Gamma_19: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [looks_ridiculous(piggy)], ~(has_umbrella(piggy)), ~(pig(piggy))
  11: [~(eats_lunch_in_public(piggy))], ~(looks_ridiculous(piggy)), ~(
eats_pennybuns(piggy))
  12: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))], ~(
wise(piggy))
  13: [~(looks_ridiculous(piggy))], ~(liable_to_giddiness(piggy)), ~(
fat(piggy)), ~(eats_pennybuns(piggy)), ~(wise(piggy))

Gamma_20: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [~(looks_ridiculous(piggy))], ~(liable_to_giddiness(piggy)), ~(
fat(piggy)), ~(eats_pennybuns(piggy)), ~(wise(piggy))
  11: [looks_ridiculous(piggy)], ~(has_umbrella(piggy)), ~(pig(piggy))
  12: [~(eats_lunch_in_public(piggy))], ~(looks_ridiculous(piggy)), ~(
eats_pennybuns(piggy))
  13: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))], ~(
wise(piggy))

Gamma_21: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [~(looks_ridiculous(piggy))], ~(liable_to_giddiness(piggy)), ~(
fat(piggy)), ~(eats_pennybuns(piggy)), ~(wise(piggy))
  11: [~(has_umbrella(piggy))], ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(
eats_pennybuns(piggy)), ~(pig(piggy)), ~(wise(piggy))
  12: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))], ~(
wise(piggy))

Gamma_22: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  10: [~(looks_ridiculous(piggy))], ~(liable_to_giddiness(piggy)), ~(
fat(piggy)), ~(eats_pennybuns(piggy)), ~(wise(piggy))
  11: [~(has_umbrella(piggy))], ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(
eats_pennybuns(piggy)), ~(pig(piggy)), ~(wise(piggy))
  12: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))], ~(
wise(piggy))

Gamma_23: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [~(has_umbrella(piggy))], ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(
eats_pennybuns(piggy)), ~(pig(piggy)), ~(wise(piggy))
  10: [has_umbrella(piggy)], ~(balloonist(piggy)), ~(wise(piggy))
  11: [~(looks_ridiculous(piggy))], ~(liable_to_giddiness(piggy)), ~(
fat(piggy)), ~(eats_pennybuns(piggy)), ~(wise(piggy))
  12: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))], ~(
wise(piggy))

Gamma_24: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [~(has_umbrella(piggy))], ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(
eats_pennybuns(piggy)), ~(pig(piggy)), ~(wise(piggy))
  10: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(eats_pennybuns(piggy)), [~(
balloonist(piggy))], ~(pig(piggy)), ~(wise(piggy))
  11: [~(looks_ridiculous(piggy))], ~(liable_to_giddiness(piggy)), ~(
fat(piggy)), ~(eats_pennybuns(piggy)), ~(wise(piggy))
  12: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))], ~(
wise(piggy))

Gamma_25: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: [wise(piggy)]
  9: [~(has_umbrella(piggy))], ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(
eats_pennybuns(piggy)), ~(pig(piggy)), ~(wise(piggy))
  10: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(eats_pennybuns(piggy)), ~(
balloonist(piggy)), ~(pig(piggy)), [~(wise(piggy))]
  11: [~(looks_ridiculous(piggy))], ~(liable_to_giddiness(piggy)), ~(
fat(piggy)), ~(eats_pennybuns(piggy)), ~(wise(piggy))
  12: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))], ~(
wise(piggy))

Gamma_26: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(eats_pennybuns(piggy)), ~(
balloonist(piggy)), ~(pig(piggy)), [~(wise(piggy))]
  9: [wise(piggy)]
  10: [~(has_umbrella(piggy))], ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(
eats_pennybuns(piggy)), ~(pig(piggy)), ~(wise(piggy))
  11: [~(looks_ridiculous(piggy))], ~(liable_to_giddiness(piggy)), ~(
fat(piggy)), ~(eats_pennybuns(piggy)), ~(wise(piggy))
  12: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))], ~(
wise(piggy))

Gamma_27: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(eats_pennybuns(piggy)), ~(
balloonist(piggy)), ~(pig(piggy)), [~(wise(piggy))]
  9: [~(liable_to_giddiness(piggy))], ~(fat(piggy)), ~(eats_pennybuns(piggy)), ~(
balloonist(piggy)), ~(pig(piggy))

Gamma_28: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(eats_pennybuns(piggy)), ~(
balloonist(piggy)), ~(pig(piggy)), [~(wise(piggy))]
  9: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))

Gamma_29: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  8: [eats_pennybuns(piggy)], dances_on_tightropes(piggy), ~(old(piggy))
  9: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(eats_pennybuns(piggy)), ~(
balloonist(piggy)), ~(pig(piggy)), [~(wise(piggy))]

Gamma_30: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [dances_on_tightropes(
piggy)], ~(old(piggy)), ~(balloonist(piggy)), ~(pig(piggy))

Gamma_31: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [dances_on_tightropes(
piggy)], ~(old(piggy)), ~(balloonist(piggy)), ~(pig(piggy))

Gamma_32: (extend-no-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [dances_on_tightropes(
piggy)], ~(old(piggy)), ~(balloonist(piggy)), ~(pig(piggy))
  9: [wise(piggy)]

Gamma_33: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [dances_on_tightropes(
piggy)], ~(old(piggy)), ~(balloonist(piggy)), ~(pig(piggy))
  9: [wise(piggy)]
  10: ~(liable_to_giddiness(piggy)), ~(dances_on_tightropes(piggy)), [~(
wise(piggy))]

Gamma_34: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [dances_on_tightropes(
piggy)], ~(old(piggy)), ~(balloonist(piggy)), ~(pig(piggy))
  9: ~(liable_to_giddiness(piggy)), ~(dances_on_tightropes(piggy)), [~(
wise(piggy))]
  10: [wise(piggy)]

Gamma_35: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [dances_on_tightropes(
piggy)], ~(old(piggy)), ~(balloonist(piggy)), ~(pig(piggy))
  9: ~(liable_to_giddiness(piggy)), ~(dances_on_tightropes(piggy)), [~(
wise(piggy))]
  10: [~(liable_to_giddiness(piggy))], ~(dances_on_tightropes(piggy))

Gamma_36: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [dances_on_tightropes(
piggy)], ~(old(piggy)), ~(balloonist(piggy)), ~(pig(piggy))
  9: ~(liable_to_giddiness(piggy)), ~(dances_on_tightropes(piggy)), [~(
wise(piggy))]
  10: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]

Gamma_37: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  8: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]
  9: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [dances_on_tightropes(
piggy)], ~(old(piggy)), ~(balloonist(piggy)), ~(pig(piggy))
  10: ~(liable_to_giddiness(piggy)), ~(dances_on_tightropes(piggy)), [~(
wise(piggy))]

Gamma_38: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  8: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]
  9: [~(liable_to_giddiness(piggy))], ~(fat(piggy)), ~(old(piggy)), ~(
balloonist(piggy)), ~(pig(piggy))

Gamma_39: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: [old(piggy)], ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  8: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]
  9: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(old(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))

Gamma_40: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(old(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  7: [old(piggy)], ~(young(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  9: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]

Gamma_41: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(old(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), ~(balloonist(piggy)), ~(
pig(piggy)), [~(young(piggy))]
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  9: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]

Gamma_42: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  6: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(old(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  7: ~(liable_to_giddiness(piggy)), [~(fat(piggy))], ~(balloonist(piggy)), ~(
pig(piggy)), ~(young(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  9: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]

Gamma_43: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(liable_to_giddiness(piggy)), [~(fat(piggy))], ~(balloonist(piggy)), ~(
pig(piggy)), ~(young(piggy))
  6: ~(treated_with_respect(piggy)), [fat(piggy)], dances_on_tightropes(
piggy)
  7: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(old(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  8: ~(liable_to_giddiness(piggy)), ~(fat(piggy)), [~(eats_pennybuns(piggy))], ~(
balloonist(piggy)), ~(pig(piggy))
  9: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]

Gamma_44: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(liable_to_giddiness(piggy)), [~(fat(piggy))], ~(balloonist(piggy)), ~(
pig(piggy)), ~(young(piggy))
  6: ~(liable_to_giddiness(piggy)), [~(treated_with_respect(piggy))], dances_on_tightropes(
piggy), ~(balloonist(piggy)), ~(pig(piggy)), ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]

Gamma_45: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(liable_to_giddiness(piggy)), [~(fat(piggy))], ~(balloonist(piggy)), ~(
pig(piggy)), ~(young(piggy))
  6: ~(liable_to_giddiness(piggy)), ~(treated_with_respect(piggy)), [dances_on_tightropes(
piggy)], ~(balloonist(piggy)), ~(pig(piggy)), ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]

Gamma_46: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(liable_to_giddiness(piggy)), [~(fat(piggy))], ~(balloonist(piggy)), ~(
pig(piggy)), ~(young(piggy))
  6: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]
  7: ~(liable_to_giddiness(piggy)), ~(treated_with_respect(piggy)), [dances_on_tightropes(
piggy)], ~(balloonist(piggy)), ~(pig(piggy)), ~(young(piggy))

Gamma_47: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(liable_to_giddiness(piggy)), [~(fat(piggy))], ~(balloonist(piggy)), ~(
pig(piggy)), ~(young(piggy))
  6: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]
  7: [~(liable_to_giddiness(piggy))], ~(treated_with_respect(piggy)), ~(
balloonist(piggy)), ~(pig(piggy)), ~(young(piggy))

Gamma_48: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  5: ~(liable_to_giddiness(piggy)), [~(fat(piggy))], ~(balloonist(piggy)), ~(
pig(piggy)), ~(young(piggy))
  6: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]
  7: ~(liable_to_giddiness(piggy)), [~(treated_with_respect(piggy))], ~(
balloonist(piggy)), ~(pig(piggy)), ~(young(piggy))

Gamma_49: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [~(treated_with_respect(piggy))], ~(
balloonist(piggy)), ~(pig(piggy)), ~(young(piggy))
  5: ~(liable_to_giddiness(piggy)), [treated_with_respect(piggy)], ~(
pig(piggy))
  6: ~(liable_to_giddiness(piggy)), [~(fat(piggy))], ~(balloonist(piggy)), ~(
pig(piggy)), ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]

Gamma_50: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [~(treated_with_respect(piggy))], ~(
balloonist(piggy)), ~(pig(piggy)), ~(young(piggy))
  5: [~(liable_to_giddiness(piggy))], ~(balloonist(piggy)), ~(pig(piggy)), ~(
young(piggy))
  6: ~(liable_to_giddiness(piggy)), [~(fat(piggy))], ~(balloonist(piggy)), ~(
pig(piggy)), ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]

Gamma_51: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  4: ~(liable_to_giddiness(piggy)), [~(treated_with_respect(piggy))], ~(
balloonist(piggy)), ~(pig(piggy)), ~(young(piggy))
  5: [~(liable_to_giddiness(piggy))], ~(balloonist(piggy)), ~(pig(piggy)), ~(
young(piggy))
  6: ~(liable_to_giddiness(piggy)), [~(fat(piggy))], ~(balloonist(piggy)), ~(
pig(piggy)), ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]

Gamma_52: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [~(liable_to_giddiness(piggy))], ~(balloonist(piggy)), ~(pig(piggy)), ~(
young(piggy))
  4: [liable_to_giddiness(piggy)], ~(balloonist(piggy)), ~(young(piggy))
  5: ~(liable_to_giddiness(piggy)), [~(treated_with_respect(piggy))], ~(
balloonist(piggy)), ~(pig(piggy)), ~(young(piggy))
  6: ~(liable_to_giddiness(piggy)), [~(fat(piggy))], ~(balloonist(piggy)), ~(
pig(piggy)), ~(young(piggy))
  7: ~(liable_to_giddiness(piggy)), [~(dances_on_tightropes(piggy))]

Gamma_53: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [~(liable_to_giddiness(piggy))], ~(balloonist(piggy)), ~(pig(piggy)), ~(
young(piggy))
  4: [~(balloonist(piggy))], ~(pig(piggy)), ~(young(piggy))

Gamma_54: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: [young(piggy)]
  3: [~(liable_to_giddiness(piggy))], ~(balloonist(piggy)), ~(pig(piggy)), ~(
young(piggy))
  4: ~(balloonist(piggy)), ~(pig(piggy)), [~(young(piggy))]

Gamma_55: (move)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: ~(balloonist(piggy)), ~(pig(piggy)), [~(young(piggy))]
  3: [young(piggy)]
  4: [~(liable_to_giddiness(piggy))], ~(balloonist(piggy)), ~(pig(piggy)), ~(
young(piggy))

Gamma_56: (resolve)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: ~(balloonist(piggy)), ~(pig(piggy)), [~(young(piggy))]
  3: [~(balloonist(piggy))], ~(pig(piggy))

Gamma_57: (extend-conflict)
  0: [balloonist(piggy)]
  1: [pig(piggy)]
  2: ~(balloonist(piggy)), ~(pig(piggy)), [~(young(piggy))]
  3: ~(balloonist(piggy)), [~(pig(piggy))]

Gamma_58: (move)
  0: [balloonist(piggy)]
  1: ~(balloonist(piggy)), [~(pig(piggy))]
  2: [pig(piggy)]
  3: ~(balloonist(piggy)), ~(pig(piggy)), [~(young(piggy))]

Gamma_59: (resolve)
  0: [balloonist(piggy)]
  1: ~(balloonist(piggy)), [~(pig(piggy))]
  2: [~(balloonist(piggy))]

Gamma_60: (extend-conflict)
  0: [balloonist(piggy)]
  1: ~(balloonist(piggy)), [~(pig(piggy))]
  2: [~(balloonist(piggy))]

Gamma_61: (move)
  0: [~(balloonist(piggy))]
  1: [balloonist(piggy)]
  2: ~(balloonist(piggy)), [~(pig(piggy))]

Gamma_62: (resolve)
  0: [~(balloonist(piggy))]
  1: []

SZS status Unsatisfiable