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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [borders(indian,tanzania)]

Gamma_1: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]

Gamma_2: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]

Gamma_3: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]

Gamma_4: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]

Gamma_5: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]

Gamma_6: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]

Gamma_7: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]

Gamma_8: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]

Gamma_9: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]

Gamma_10: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]

Gamma_11: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]

Gamma_12: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]

Gamma_13: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]

Gamma_14: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]

Gamma_15: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]

Gamma_16: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]

Gamma_17: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]

Gamma_18: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]

Gamma_19: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]

Gamma_20: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]

Gamma_21: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]

Gamma_22: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]

Gamma_23: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]

Gamma_24: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]
  24: [ocean(indian)]

Gamma_25: (extend-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]
  24: [ocean(indian)]
  25: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), ~(
african(tanzania)), [~(ocean(indian))]

Gamma_26: (move)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]
  24: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), ~(
african(tanzania)), [~(ocean(indian))]
  25: [ocean(indian)]

Gamma_27: (resolve)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]
  24: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), ~(
african(tanzania)), [~(ocean(indian))]
  25: [~(borders(indian,iran))], ~(borders(indian,tanzania)), ~(asian(iran)), ~(
african(tanzania))

Gamma_28: (extend-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]
  24: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), ~(
african(tanzania)), [~(ocean(indian))]
  25: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), [~(
african(tanzania))]

Gamma_29: (move)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), [~(
african(tanzania))]
  16: [african(tanzania)]
  17: [african(kenya)]
  18: [african(somalia)]
  19: [african(angola)]
  20: [african(nigeria)]
  21: [african(zaire)]
  22: [south_american(venesuela)]
  23: [south_american(uruguay)]
  24: [south_american(brazil)]
  25: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), ~(
african(tanzania)), [~(ocean(indian))]

Gamma_30: (resolve)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), [~(
african(tanzania))]
  16: [~(borders(indian,iran))], ~(borders(indian,tanzania)), ~(asian(iran))
  17: [african(kenya)]
  18: [african(somalia)]
  19: [african(angola)]
  20: [african(nigeria)]
  21: [african(zaire)]
  22: [south_american(venesuela)]
  23: [south_american(uruguay)]
  24: [south_american(brazil)]

Gamma_31: (extend-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), [~(
african(tanzania))]
  16: ~(borders(indian,iran)), ~(borders(indian,tanzania)), [~(asian(iran))]
  17: [african(kenya)]
  18: [african(somalia)]
  19: [african(angola)]
  20: [african(nigeria)]
  21: [african(zaire)]
  22: [south_american(venesuela)]
  23: [south_american(uruguay)]
  24: [south_american(brazil)]

Gamma_32: (move)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: ~(borders(indian,iran)), ~(borders(indian,tanzania)), [~(asian(iran))]
  13: [asian(iran)]
  14: [asian(pakistan)]
  15: [asian(india)]
  16: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), [~(
african(tanzania))]
  17: [african(kenya)]
  18: [african(somalia)]
  19: [african(angola)]
  20: [african(nigeria)]
  21: [african(zaire)]
  22: [south_american(venesuela)]
  23: [south_american(uruguay)]
  24: [south_american(brazil)]

Gamma_33: (resolve)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: ~(borders(indian,iran)), ~(borders(indian,tanzania)), [~(asian(iran))]
  13: [~(borders(indian,iran))], ~(borders(indian,tanzania))
  14: [asian(pakistan)]
  15: [asian(india)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]

Gamma_34: (extend-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: ~(borders(indian,iran)), ~(borders(indian,tanzania)), [~(asian(iran))]
  13: [~(borders(indian,iran))], ~(borders(indian,tanzania))
  14: [asian(pakistan)]
  15: [asian(india)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]

Gamma_35: (move)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [~(borders(indian,iran))], ~(borders(indian,tanzania))
  4: [borders(indian,iran)]
  5: [borders(indian,pakistan)]
  6: [borders(indian,india)]
  7: [borders(atlantic,angola)]
  8: [borders(atlantic,nigeria)]
  9: [borders(atlantic,zaire)]
  10: [borders(atlantic,venesuela)]
  11: [borders(atlantic,uruguay)]
  12: [borders(atlantic,brazil)]
  13: ~(borders(indian,iran)), ~(borders(indian,tanzania)), [~(asian(iran))]
  14: [asian(pakistan)]
  15: [asian(india)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]

Gamma_36: (resolve)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [~(borders(indian,iran))], ~(borders(indian,tanzania))
  4: [~(borders(indian,tanzania))]
  5: [borders(indian,pakistan)]
  6: [borders(indian,india)]
  7: [borders(atlantic,angola)]
  8: [borders(atlantic,nigeria)]
  9: [borders(atlantic,zaire)]
  10: [borders(atlantic,venesuela)]
  11: [borders(atlantic,uruguay)]
  12: [borders(atlantic,brazil)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(kenya)]
  16: [african(somalia)]
  17: [african(angola)]
  18: [african(nigeria)]
  19: [african(zaire)]
  20: [south_american(venesuela)]
  21: [south_american(uruguay)]
  22: [south_american(brazil)]

Gamma_37: (extend-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [~(borders(indian,iran))], ~(borders(indian,tanzania))
  4: [~(borders(indian,tanzania))]
  5: [borders(indian,pakistan)]
  6: [borders(indian,india)]
  7: [borders(atlantic,angola)]
  8: [borders(atlantic,nigeria)]
  9: [borders(atlantic,zaire)]
  10: [borders(atlantic,venesuela)]
  11: [borders(atlantic,uruguay)]
  12: [borders(atlantic,brazil)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(kenya)]
  16: [african(somalia)]
  17: [african(angola)]
  18: [african(nigeria)]
  19: [african(zaire)]
  20: [south_american(venesuela)]
  21: [south_american(uruguay)]
  22: [south_american(brazil)]

Gamma_38: (move)
  0: [~(borders(indian,tanzania))]
  1: [borders(indian,tanzania)]
  2: [borders(indian,kenya)]
  3: [borders(indian,somalia)]
  4: [~(borders(indian,iran))], ~(borders(indian,tanzania))
  5: [borders(indian,pakistan)]
  6: [borders(indian,india)]
  7: [borders(atlantic,angola)]
  8: [borders(atlantic,nigeria)]
  9: [borders(atlantic,zaire)]
  10: [borders(atlantic,venesuela)]
  11: [borders(atlantic,uruguay)]
  12: [borders(atlantic,brazil)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(kenya)]
  16: [african(somalia)]
  17: [african(angola)]
  18: [african(nigeria)]
  19: [african(zaire)]
  20: [south_american(venesuela)]
  21: [south_american(uruguay)]
  22: [south_american(brazil)]

Gamma_39: (resolve)
  0: [~(borders(indian,tanzania))]
  1: []
  2: [borders(indian,kenya)]
  3: [borders(indian,somalia)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(pakistan)]
  13: [asian(india)]
  14: [african(kenya)]
  15: [african(somalia)]
  16: [african(angola)]
  17: [african(nigeria)]
  18: [african(zaire)]
  19: [south_american(venesuela)]
  20: [south_american(uruguay)]
  21: [south_american(brazil)]

SZS status Unsatisfiable

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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [borders(indian,tanzania)]

Gamma_1: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]

Gamma_2: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]

Gamma_3: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]

Gamma_4: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]

Gamma_5: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]

Gamma_6: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]

Gamma_7: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]

Gamma_8: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]

Gamma_9: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]

Gamma_10: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]

Gamma_11: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]

Gamma_12: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]

Gamma_13: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]

Gamma_14: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]

Gamma_15: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]

Gamma_16: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]

Gamma_17: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]

Gamma_18: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]

Gamma_19: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]

Gamma_20: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]

Gamma_21: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]

Gamma_22: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]

Gamma_23: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]

Gamma_24: (extend-no-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]
  24: [ocean(indian)]

Gamma_25: (extend-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]
  24: [ocean(indian)]
  25: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), ~(
african(tanzania)), [~(ocean(indian))]

Gamma_26: (move)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]
  24: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), ~(
african(tanzania)), [~(ocean(indian))]
  25: [ocean(indian)]

Gamma_27: (resolve)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]
  24: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), ~(
african(tanzania)), [~(ocean(indian))]
  25: [~(borders(indian,iran))], ~(borders(indian,tanzania)), ~(asian(iran)), ~(
african(tanzania))

Gamma_28: (extend-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(tanzania)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]
  24: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), ~(
african(tanzania)), [~(ocean(indian))]
  25: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), [~(
african(tanzania))]

Gamma_29: (move)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), [~(
african(tanzania))]
  16: [african(tanzania)]
  17: [african(kenya)]
  18: [african(somalia)]
  19: [african(angola)]
  20: [african(nigeria)]
  21: [african(zaire)]
  22: [south_american(venesuela)]
  23: [south_american(uruguay)]
  24: [south_american(brazil)]
  25: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), ~(
african(tanzania)), [~(ocean(indian))]

Gamma_30: (resolve)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), [~(
african(tanzania))]
  16: [~(borders(indian,iran))], ~(borders(indian,tanzania)), ~(asian(iran))
  17: [african(kenya)]
  18: [african(somalia)]
  19: [african(angola)]
  20: [african(nigeria)]
  21: [african(zaire)]
  22: [south_american(venesuela)]
  23: [south_american(uruguay)]
  24: [south_american(brazil)]

Gamma_31: (extend-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(iran)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), [~(
african(tanzania))]
  16: ~(borders(indian,iran)), ~(borders(indian,tanzania)), [~(asian(iran))]
  17: [african(kenya)]
  18: [african(somalia)]
  19: [african(angola)]
  20: [african(nigeria)]
  21: [african(zaire)]
  22: [south_american(venesuela)]
  23: [south_american(uruguay)]
  24: [south_american(brazil)]

Gamma_32: (move)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: ~(borders(indian,iran)), ~(borders(indian,tanzania)), [~(asian(iran))]
  13: [asian(iran)]
  14: [asian(pakistan)]
  15: [asian(india)]
  16: ~(borders(indian,iran)), ~(borders(indian,tanzania)), ~(asian(iran)), [~(
african(tanzania))]
  17: [african(kenya)]
  18: [african(somalia)]
  19: [african(angola)]
  20: [african(nigeria)]
  21: [african(zaire)]
  22: [south_american(venesuela)]
  23: [south_american(uruguay)]
  24: [south_american(brazil)]

Gamma_33: (resolve)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: ~(borders(indian,iran)), ~(borders(indian,tanzania)), [~(asian(iran))]
  13: [~(borders(indian,iran))], ~(borders(indian,tanzania))
  14: [asian(pakistan)]
  15: [asian(india)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]

Gamma_34: (extend-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [borders(indian,iran)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: ~(borders(indian,iran)), ~(borders(indian,tanzania)), [~(asian(iran))]
  13: [~(borders(indian,iran))], ~(borders(indian,tanzania))
  14: [asian(pakistan)]
  15: [asian(india)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]

Gamma_35: (move)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [~(borders(indian,iran))], ~(borders(indian,tanzania))
  4: [borders(indian,iran)]
  5: [borders(indian,pakistan)]
  6: [borders(indian,india)]
  7: [borders(atlantic,angola)]
  8: [borders(atlantic,nigeria)]
  9: [borders(atlantic,zaire)]
  10: [borders(atlantic,venesuela)]
  11: [borders(atlantic,uruguay)]
  12: [borders(atlantic,brazil)]
  13: ~(borders(indian,iran)), ~(borders(indian,tanzania)), [~(asian(iran))]
  14: [asian(pakistan)]
  15: [asian(india)]
  16: [african(kenya)]
  17: [african(somalia)]
  18: [african(angola)]
  19: [african(nigeria)]
  20: [african(zaire)]
  21: [south_american(venesuela)]
  22: [south_american(uruguay)]
  23: [south_american(brazil)]

Gamma_36: (resolve)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [~(borders(indian,iran))], ~(borders(indian,tanzania))
  4: [~(borders(indian,tanzania))]
  5: [borders(indian,pakistan)]
  6: [borders(indian,india)]
  7: [borders(atlantic,angola)]
  8: [borders(atlantic,nigeria)]
  9: [borders(atlantic,zaire)]
  10: [borders(atlantic,venesuela)]
  11: [borders(atlantic,uruguay)]
  12: [borders(atlantic,brazil)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(kenya)]
  16: [african(somalia)]
  17: [african(angola)]
  18: [african(nigeria)]
  19: [african(zaire)]
  20: [south_american(venesuela)]
  21: [south_american(uruguay)]
  22: [south_american(brazil)]

Gamma_37: (extend-conflict)
  0: [borders(indian,tanzania)]
  1: [borders(indian,kenya)]
  2: [borders(indian,somalia)]
  3: [~(borders(indian,iran))], ~(borders(indian,tanzania))
  4: [~(borders(indian,tanzania))]
  5: [borders(indian,pakistan)]
  6: [borders(indian,india)]
  7: [borders(atlantic,angola)]
  8: [borders(atlantic,nigeria)]
  9: [borders(atlantic,zaire)]
  10: [borders(atlantic,venesuela)]
  11: [borders(atlantic,uruguay)]
  12: [borders(atlantic,brazil)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(kenya)]
  16: [african(somalia)]
  17: [african(angola)]
  18: [african(nigeria)]
  19: [african(zaire)]
  20: [south_american(venesuela)]
  21: [south_american(uruguay)]
  22: [south_american(brazil)]

Gamma_38: (move)
  0: [~(borders(indian,tanzania))]
  1: [borders(indian,tanzania)]
  2: [borders(indian,kenya)]
  3: [borders(indian,somalia)]
  4: [~(borders(indian,iran))], ~(borders(indian,tanzania))
  5: [borders(indian,pakistan)]
  6: [borders(indian,india)]
  7: [borders(atlantic,angola)]
  8: [borders(atlantic,nigeria)]
  9: [borders(atlantic,zaire)]
  10: [borders(atlantic,venesuela)]
  11: [borders(atlantic,uruguay)]
  12: [borders(atlantic,brazil)]
  13: [asian(pakistan)]
  14: [asian(india)]
  15: [african(kenya)]
  16: [african(somalia)]
  17: [african(angola)]
  18: [african(nigeria)]
  19: [african(zaire)]
  20: [south_american(venesuela)]
  21: [south_american(uruguay)]
  22: [south_american(brazil)]

Gamma_39: (resolve)
  0: [~(borders(indian,tanzania))]
  1: []
  2: [borders(indian,kenya)]
  3: [borders(indian,somalia)]
  4: [borders(indian,pakistan)]
  5: [borders(indian,india)]
  6: [borders(atlantic,angola)]
  7: [borders(atlantic,nigeria)]
  8: [borders(atlantic,zaire)]
  9: [borders(atlantic,venesuela)]
  10: [borders(atlantic,uruguay)]
  11: [borders(atlantic,brazil)]
  12: [asian(pakistan)]
  13: [asian(india)]
  14: [african(kenya)]
  15: [african(somalia)]
  16: [african(angola)]
  17: [african(nigeria)]
  18: [african(zaire)]
  19: [south_american(venesuela)]
  20: [south_american(uruguay)]
  21: [south_american(brazil)]

SZS status Unsatisfiable