% Mizar problem: t42_cgames_1,cgames_1,2329,59 
fof(t42_cgames_1, conjecture,  (! [A] :  (v2_cgames_1(A) =>  ~ ( ( ~ (v7_cgames_1(A))  &  ( ~ (v9_cgames_1(A))  &  ( ~ (v10_cgames_1(A))  &  ~ (v8_cgames_1(A)) ) ) ) ) ) ) ).
fof(cc10_cgames_1, axiom,  (! [A] :  ( (v2_cgames_1(A) &  (v5_cgames_1(A) &  ~ (v7_cgames_1(A)) ) )  =>  (v2_cgames_1(A) & v9_cgames_1(A)) ) ) ).
fof(cc12_cgames_1, axiom,  (! [A] :  ( (v2_cgames_1(A) &  ( ~ (v5_cgames_1(A))  &  ~ (v6_cgames_1(A)) ) )  =>  (v2_cgames_1(A) & v8_cgames_1(A)) ) ) ).
fof(cc6_cgames_1, axiom,  (! [A] :  ( (v2_cgames_1(A) &  (v5_cgames_1(A) & v6_cgames_1(A)) )  =>  (v2_cgames_1(A) & v7_cgames_1(A)) ) ) ).
fof(cc8_cgames_1, axiom,  (! [A] :  ( (v2_cgames_1(A) &  (v6_cgames_1(A) &  ~ (v7_cgames_1(A)) ) )  =>  (v2_cgames_1(A) & v10_cgames_1(A)) ) ) ).
fof(cc11_cgames_1, axiom,  (! [A] :  ( (v2_cgames_1(A) & v8_cgames_1(A))  =>  (v2_cgames_1(A) &  ( ~ (v5_cgames_1(A))  &  ~ (v6_cgames_1(A)) ) ) ) ) ).
fof(cc5_cgames_1, axiom,  (! [A] :  ( (v2_cgames_1(A) & v7_cgames_1(A))  =>  (v2_cgames_1(A) &  (v5_cgames_1(A) & v6_cgames_1(A)) ) ) ) ).
fof(cc7_cgames_1, axiom,  (! [A] :  ( (v2_cgames_1(A) & v10_cgames_1(A))  =>  (v2_cgames_1(A) &  (v6_cgames_1(A) &  ~ (v7_cgames_1(A)) ) ) ) ) ).
fof(cc9_cgames_1, axiom,  (! [A] :  ( (v2_cgames_1(A) & v9_cgames_1(A))  =>  (v2_cgames_1(A) &  (v5_cgames_1(A) &  ~ (v7_cgames_1(A)) ) ) ) ) ).
fof(rc4_cgames_1, axiom,  (? [A] : v2_cgames_1(A)) ).
