A1& $\neg$Man(x34) $\vee$ Mortal(x34)&\\
A2& $\neg$Mortal(x36) $\vee$ Boring(x36)&\\
A3& $\neg$Boring(CHera)&\\
A4& Man(x38)&\\
S5& $\neg$Man(x43) $\vee$ Boring(x43)      &Res(1,2) \{x34/x36\}\\
S6& $\neg$Man(CHera)      &Res(5,3) \{x43/CHera\}\\
S7& F      &Res(6,4) \{x38/CHera\}\\