proposition: Theorem puz002_1 : forall v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 : Prop, ~ ((~ v1 \/ v0) /\ (~ v8 \/ v2) /\ (~ v6 \/ v9) /\ (~ v4 \/ v7) /\ (~ v0 \/ v3) /\ (~ v5 \/ v1) /\ (~ v10 \/ ~ v2) /\ (~ v3 \/ v4) /\ (v5 \/ v6) /\ (~ v7 \/ v8) /\ ~ v9 /\ v10).
proof: Proof. staltac. Qed.
imports: Stalmarck(StalTac) Coq(Classical)