A1: ~Surgeon(x46) v Parent(x46, y47) v Operate(x46, y47)
A2: ~Operate(x49, y48) v Surgeon(x49)
A3: ~Operate(x51, y50) v ~Parent(x51, y50)
A4: ~Parent(x55, y54) v Father(x55, y54) v Mother(x55, y54)
A5: ~Father(x57, y56) v Parent(x57, y56)
A6: ~Mother(x59, y58) v Parent(x59, y58)
A7: ~Operate(CA, CS)
A8: Surgeon(CA)
A9: ~Father(CA, CS)
A10: ~Mother(CA, CS)
S11: ~Surgeon(CA) v Parent(CA, CS)      Res(1,7) {y47/CS, x46/CA}
S12: Parent(CA, CS)      Res(11,8) {}
S13: Father(CA, CS) v Mother(CA, CS)      Res(12,4) {x55/CA, y54/CS}
S14: Mother(CA, CS)      Res(13,9) {}
S15: F      Res(14,10) {}