eg(one, ((pv(a) or pv(b) or pv(c)) and (pv(d) or pv(e) or pv(f)) and
(pv(g) or pv(h) or pv(j)) and (pv(k) or pv(l) or pv(m))) imp ((pv(a) and pv(d)) or (pv(a) and pv(g)) or (pv(a) and pv(k))
or (pv(d) and pv(g)) or (pv(d) and pv(k)) or (pv(g) and pv(k)) 
or (pv(b) and pv(e)) or (pv(b) and pv(h)) or (pv(b) and pv(l))
or (pv(e) and pv(h)) or (pv(e) and pv(l)) or (pv(h) and pv(l))
or (pv(c) and pv(f)) or (pv(c) and pv(j)) or (pv(c) and pv(m))
or (pv(f) and pv(j)) or (pv(f) and pv(m)) or (pv(j) and pv(m)))).

eg(two, ((pv(a) or pv(b) or pv(c)) and (pv(d) or pv(e) or pv(f))) imp ((pv(a) and pv(d)) or (pv(b) and pv(e)) 
or (pv(c) and pv(f)))).

eg(three, (pv(a) imp pv(b)) imp (pv(a) imp pv(c)) imp (pv(a) imp (pv(b) and pv(c)))).

eg(four, (pv(a) and not(pv(a))) imp pv(b)).

eg(five, (pv(a) or pv(c)) imp (pv(a) imp pv(b)) imp (pv(b) or pv(c))).

eg(six, ((((pv(a) imp pv(b)) and (pv(b) imp pv(a))) imp (pv(a) and pv(b) and pv(c))) and (((pv(b) imp pv(c)) and (pv(c) imp pv(b))) imp (pv(a) and pv(b) and pv(c))) and (((pv(c) imp pv(a)) and (pv(a) imp pv(c))) imp (pv(a) and pv(b) and pv(c)))) imp (pv(a) and pv(b) and pv(c))).

eg(seven, ((not(not(pv(p))) imp pv(p)) imp pv(p)) or (not(pv(p)) imp not(pv(p))) or (not(not(pv(p))) imp not(not(pv(p)))) or (not(not(pv(p))) imp pv(p))).

eg(eight, (((pv(g) imp pv(a)) imp pv(j)) imp pv(d) imp pv(e)) imp 
(((pv(h) imp pv(b)) imp pv(i)) imp pv(c) imp pv(j)) imp (pv(a) imp pv(h))
imp pv(f) imp pv(g) imp (((pv(c) imp pv(b)) imp pv(i)) imp pv(d)) imp
(pv(a) imp pv(c)) imp (((pv(f) imp pv(a)) imp pv(b)) imp pv(i)) imp pv(e)).

eg(nine, pv(a) imp pv(b) imp (pv(a) imp pv(b) imp pv(c) imp pv(c)) imp (pv(a) imp pv(b) imp pv(c))).

eg(ten, ((NNG imp G) imp (NNG or NG)) imp (NNG or NG)):-
	NNG=not(NG),
	NG=not(G),
	G=(not(A) or not (B)),
	A=pv(a),
	B=pv(b).

eg(eleven, pv(b) imp (pv(a) imp ((pv(a) and pv(b)) imp pv(c1) imp ((pv(a) and pv(b)) imp pv(c2) imp ((pv(a) and pv(b)) imp pv(c3) imp ((pv(a) and pv(b)) imp (pv(b) imp pv(c1) imp pv(c2) imp pv(c3) imp pv(b)))))))).

eg(twelve, ((pv(a) and pv(b) or pv(c)) imp (pv(c) or (pv(c) and pv(d)))) imp (not(pv(a)) or ((pv(a) or pv(b)) imp pv(c)))).

eg(thirteen, not(not((not(pv(a)) imp pv(b)) imp (not(pv(a)) imp not(pv(b))) imp pv(a)))).