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