h2 :- not h.
h2 :- not h2.
h :- not v2n3,not v2n2,not v2n1.
h :- not v3n3,not v3n2,not v3n1.
h :- not v4n3,not v4n2,not v4n1.
h :- not v5n3,not v5n2,not v5n1.
h :- not v6n3,not v6n2,not v6n1.
h :- not v7n3,not v7n2,not v7n1.
h :- not v8n3,not v8n2,not v8n1.
h :- not v9n3,not v9n2,not v9n1.
h :- not v10n3,not v10n2,not v10n1.
h :- not v11n3,not v11n2,not v11n1.
v2n1 :- not v4n1,not v3n1,not v2n3,not v2n2.
v2n2 :- not v4n2,not v3n2,not v2n3,not v2n1.
v2n3 :- not v4n3,not v3n3,not v2n2,not v2n1.
v3n1 :- not v5n1,not v2n1,not v3n3,not v3n2.
v3n2 :- not v5n2,not v2n2,not v3n3,not v3n1.
v3n3 :- not v5n3,not v2n3,not v3n2,not v3n1.
v4n1 :- not v6n1,not v5n1,not v2n1,not v4n3,not v4n2.
v4n2 :- not v6n2,not v5n2,not v2n2,not v4n3,not v4n1.
v4n3 :- not v6n3,not v5n3,not v2n3,not v4n2,not v4n1.
v5n1 :- not v7n1,not v4n1,not v3n1,not v5n3,not v5n2.
v5n2 :- not v7n2,not v4n2,not v3n2,not v5n3,not v5n1.
v5n3 :- not v7n3,not v4n3,not v3n3,not v5n2,not v5n1.
v6n1 :- not v8n1,not v7n1,not v4n1,not v6n3,not v6n2.
v6n2 :- not v8n2,not v7n2,not v4n2,not v6n3,not v6n1.
v6n3 :- not v8n3,not v7n3,not v4n3,not v6n2,not v6n1.
v7n1 :- not v9n1,not v6n1,not v5n1,not v7n3,not v7n2.
v7n2 :- not v9n2,not v6n2,not v5n2,not v7n3,not v7n1.
v7n3 :- not v9n3,not v6n3,not v5n3,not v7n2,not v7n1.
v8n1 :- not v10n1,not v9n1,not v6n1,not v8n3,not v8n2.
v8n2 :- not v10n2,not v9n2,not v6n2,not v8n3,not v8n1.
v8n3 :- not v10n3,not v9n3,not v6n3,not v8n2,not v8n1.
v9n1 :- not v11n1,not v8n1,not v7n1,not v9n3,not v9n2.
v9n2 :- not v11n2,not v8n2,not v7n2,not v9n3,not v9n1.
v9n3 :- not v11n3,not v8n3,not v7n3,not v9n2,not v9n1.
v10n1 :- not v11n1,not v8n1,not v10n3,not v10n2.
v10n2 :- not v11n2,not v8n2,not v10n3,not v10n1.
v10n3 :- not v11n3,not v8n3,not v10n2,not v10n1.
v11n1 :- not v10n1,not v9n1,not v11n3,not v11n2.
v11n2 :- not v10n2,not v9n2,not v11n3,not v11n1.
v11n3 :- not v10n3,not v9n3,not v11n2,not v11n1.
s :- h2.
s :- v2n1.
s :- v2n2.
s :- v2n3.
s :- v3n1.
s :- v3n2.
s :- v3n3.
s :- v4n1.
s :- v4n2.
s :- v4n3.
s :- v5n1.
s :- v5n2.
s :- v5n3.
s :- v6n1.
s :- v6n2.
s :- v6n3.
s :- v7n1.
s :- v7n2.
s :- v7n3.
s :- v8n1.
s :- v8n2.
s :- v8n3.
s :- v9n1.
s :- v9n2.
s :- v9n3.
s :- v10n1.
s :- v10n2.
s :- v10n3.
s :- v11n1.
s :- v11n2.
s :- v11n3.
