### 3 ( (forall mathrm{x})(exists mathrm{y})(mathrm{Cx} supset mathrm{Axy}) ) 1) ( (exists mathrm{x})(forall mathrm{y}) operatorname{Ayx} mathrm{v}(forall mathrm{x})(forall mathrm{y}) mathrm{Bxy} ) P 2) ( (exists mathrm{x})(forall mathrm{y})(mathrm{Cy} supset sim mathrm{Byx}) ) P

3 ( (forall mathrm{x})(exists mathrm{y})(mathrm{Cx} supset mathrm{Axy}) ) 1) ( (exists mathrm{x})(forall mathrm{y}) operatorname{Ayx} mathrm{v}(forall mathrm{x})(forall mathrm{y}) mathrm{Bxy} ) P 2) ( (exists mathrm{x})(forall mathrm{y})(mathrm{Cy} supset sim mathrm{Byx}) ) P