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

------ Parsing...successful


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

Gamma_0: (extend-no-conflict)
  0: [male(esk6_0,esk7_0)], epred1_0

Gamma_1: (extend-no-conflict)
  0: [male(esk6_0,esk7_0)], epred1_0
  1: [six(esk6_0,esk7_0)], epred1_0

Gamma_2: (extend-no-conflict)
  0: [male(esk6_0,esk7_0)], epred1_0
  1: [six(esk6_0,esk7_0)], epred1_0
  2: [group(esk6_0,esk7_0)], epred1_0

Gamma_3: (extend-no-conflict)
  0: [male(esk6_0,esk7_0)], epred1_0
  1: [six(esk6_0,esk7_0)], epred1_0
  2: [group(esk6_0,esk7_0)], epred1_0
  3: [actual_world(esk6_0)], epred1_0

Gamma_4: (extend-no-conflict)
  0: [male(esk6_0,esk7_0)], epred1_0
  1: [six(esk6_0,esk7_0)], epred1_0
  2: [group(esk6_0,esk7_0)], epred1_0
  3: [actual_world(esk6_0)], epred1_0
  4: [of(esk6_0,esk11_2(esk6_0,esk7_0),esk10_2(esk6_0,esk7_0))], member(
esk6_0,esk12_2(esk6_0,esk7_0),esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(
actual_world(esk6_0)), epred1_0

Gamma_5: (extend-no-conflict)
  0: [male(esk6_0,esk7_0)], epred1_0
  1: [six(esk6_0,esk7_0)], epred1_0
  2: [group(esk6_0,esk7_0)], epred1_0
  3: [actual_world(esk6_0)], epred1_0
  4: [of(esk6_0,esk11_2(esk6_0,esk7_0),esk10_2(esk6_0,esk7_0))], member(
esk6_0,esk12_2(esk6_0,esk7_0),esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(
actual_world(esk6_0)), epred1_0
  5: [member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)], member(esk6_0,esk11_2(esk6_0,esk7_0),
esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0

Gamma_6: (extend-no-conflict)
  0: [male(esk6_0,esk7_0)], epred1_0
  1: [six(esk6_0,esk7_0)], epred1_0
  2: [group(esk6_0,esk7_0)], epred1_0
  3: [actual_world(esk6_0)], epred1_0
  4: [of(esk6_0,esk11_2(esk6_0,esk7_0),esk10_2(esk6_0,esk7_0))], member(
esk6_0,esk12_2(esk6_0,esk7_0),esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(
actual_world(esk6_0)), epred1_0
  5: [member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)], member(esk6_0,esk11_2(esk6_0,esk7_0),
esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  6: ~(member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)), [shot(esk6_0,esk12_2(esk6_0,esk7_0))], epred1_0

Gamma_7: (extend-no-conflict)
  0: [male(esk6_0,esk7_0)], epred1_0
  1: [six(esk6_0,esk7_0)], epred1_0
  2: [group(esk6_0,esk7_0)], epred1_0
  3: [actual_world(esk6_0)], epred1_0
  4: [of(esk6_0,esk11_2(esk6_0,esk7_0),esk10_2(esk6_0,esk7_0))], member(
esk6_0,esk12_2(esk6_0,esk7_0),esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(
actual_world(esk6_0)), epred1_0
  5: [member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)], member(esk6_0,esk11_2(esk6_0,esk7_0),
esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  6: ~(member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)), [shot(esk6_0,esk12_2(esk6_0,esk7_0))], epred1_0
  7: [member(esk6_0,esk11_2(esk6_0,esk7_0),esk7_0)], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0

Gamma_8: (extend-no-conflict)
  0: [male(esk6_0,esk7_0)], epred1_0
  1: [six(esk6_0,esk7_0)], epred1_0
  2: [group(esk6_0,esk7_0)], epred1_0
  3: [actual_world(esk6_0)], epred1_0
  4: [of(esk6_0,esk11_2(esk6_0,esk7_0),esk10_2(esk6_0,esk7_0))], member(
esk6_0,esk12_2(esk6_0,esk7_0),esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(
actual_world(esk6_0)), epred1_0
  5: [member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)], member(esk6_0,esk11_2(esk6_0,esk7_0),
esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  6: ~(member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)), [shot(esk6_0,esk12_2(esk6_0,esk7_0))], epred1_0
  7: [member(esk6_0,esk11_2(esk6_0,esk7_0),esk7_0)], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  8: ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), [male(esk6_0,esk10_2(esk6_0,esk7_0))], ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0

Gamma_9: (extend-no-conflict)
  0: [male(esk6_0,esk7_0)], epred1_0
  1: [six(esk6_0,esk7_0)], epred1_0
  2: [group(esk6_0,esk7_0)], epred1_0
  3: [actual_world(esk6_0)], epred1_0
  4: [of(esk6_0,esk11_2(esk6_0,esk7_0),esk10_2(esk6_0,esk7_0))], member(
esk6_0,esk12_2(esk6_0,esk7_0),esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(
actual_world(esk6_0)), epred1_0
  5: [member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)], member(esk6_0,esk11_2(esk6_0,esk7_0),
esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  6: ~(member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)), [shot(esk6_0,esk12_2(esk6_0,esk7_0))], epred1_0
  7: [member(esk6_0,esk11_2(esk6_0,esk7_0),esk7_0)], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  8: ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), [male(esk6_0,esk10_2(esk6_0,esk7_0))], ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  9: [man(esk6_0,esk10_2(esk6_0,esk7_0))], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0

Gamma_10: (extend-no-conflict)
  0: [male(esk6_0,esk7_0)], epred1_0
  1: [six(esk6_0,esk7_0)], epred1_0
  2: [group(esk6_0,esk7_0)], epred1_0
  3: [actual_world(esk6_0)], epred1_0
  4: [of(esk6_0,esk11_2(esk6_0,esk7_0),esk10_2(esk6_0,esk7_0))], member(
esk6_0,esk12_2(esk6_0,esk7_0),esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(
actual_world(esk6_0)), epred1_0
  5: [member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)], member(esk6_0,esk11_2(esk6_0,esk7_0),
esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  6: ~(member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)), [shot(esk6_0,esk12_2(esk6_0,esk7_0))], epred1_0
  7: [member(esk6_0,esk11_2(esk6_0,esk7_0),esk7_0)], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  8: ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), [male(esk6_0,esk10_2(esk6_0,esk7_0))], ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  9: [man(esk6_0,esk10_2(esk6_0,esk7_0))], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  10: [cannon(esk6_0,esk11_2(esk6_0,esk7_0))], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0

Gamma_11: (extend-no-conflict)
  0: [male(esk6_0,esk7_0)], epred1_0
  1: [six(esk6_0,esk7_0)], epred1_0
  2: [group(esk6_0,esk7_0)], epred1_0
  3: [actual_world(esk6_0)], epred1_0
  4: [of(esk6_0,esk11_2(esk6_0,esk7_0),esk10_2(esk6_0,esk7_0))], member(
esk6_0,esk12_2(esk6_0,esk7_0),esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(
actual_world(esk6_0)), epred1_0
  5: [member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)], member(esk6_0,esk11_2(esk6_0,esk7_0),
esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  6: ~(member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)), [shot(esk6_0,esk12_2(esk6_0,esk7_0))], epred1_0
  7: [member(esk6_0,esk11_2(esk6_0,esk7_0),esk7_0)], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  8: ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), [male(esk6_0,esk10_2(esk6_0,esk7_0))], ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  9: [man(esk6_0,esk10_2(esk6_0,esk7_0))], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  10: [cannon(esk6_0,esk11_2(esk6_0,esk7_0))], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  11: ~(member(esk6_0,esk11_2(esk6_0,esk7_0),esk7_0)), [shot(esk6_0,esk11_2(esk6_0,esk7_0))], epred1_0
  0: [male(esk6_0,esk7_0)], epred1_0
  1: [six(esk6_0,esk7_0)], epred1_0
  2: [group(esk6_0,esk7_0)], epred1_0
  3: [actual_world(esk6_0)], epred1_0
  4: [of(esk6_0,esk11_2(esk6_0,esk7_0),esk10_2(esk6_0,esk7_0))], member(
esk6_0,esk12_2(esk6_0,esk7_0),esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(
actual_world(esk6_0)), epred1_0
  5: [member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)], member(esk6_0,esk11_2(esk6_0,esk7_0),
esk7_0), ~(six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  6: ~(member(esk6_0,esk12_2(esk6_0,esk7_0),esk7_0)), [shot(esk6_0,esk12_2(esk6_0,esk7_0))], epred1_0
  7: [member(esk6_0,esk11_2(esk6_0,esk7_0),esk7_0)], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  8: ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), [male(esk6_0,esk10_2(esk6_0,esk7_0))], ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  9: [man(esk6_0,esk10_2(esk6_0,esk7_0))], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  10: [cannon(esk6_0,esk11_2(esk6_0,esk7_0))], ~(shot(esk6_0,esk12_2(esk6_0,esk7_0))), ~(
six(esk6_0,esk7_0)), ~(group(esk6_0,esk7_0)), ~(actual_world(esk6_0)), epred1_0
  11: ~(member(esk6_0,esk11_2(esk6_0,esk7_0),esk7_0)), [shot(esk6_0,esk11_2(esk6_0,esk7_0))], epred1_0

SZS status Satisfiable