true.
:- false.
expensive(chevrolet) :- true.
safe(chevrolet) :- true.
safe(volvo) :- true.
nice(porsche) :- true.
fast(porsche) :- true.
neg_buy(chevrolet) :- ap(e_chevrolet).
neg_buy(porsche) :- ap(e_porsche).
neg_buy(volvo) :- ap(e_volvo).
buy(chevrolet) :- ap(s_chevrolet).
buy(porsche) :- ap(s_porsche).
buy(volvo) :- ap(s_volvo).
buy(chevrolet) :- ap(n_chevrolet).
buy(porsche) :- ap(n_porsche).
buy(volvo) :- ap(n_volvo).
buy(chevrolet) :- ap(f_chevrolet).
buy(porsche) :- ap(f_porsche).
buy(volvo) :- ap(f_volvo).
neg_buy(chevrolet) :- ap(sp_chevrolet_chevrolet).
neg_buy(chevrolet) :- ap(sp_porsche_chevrolet).
neg_buy(chevrolet) :- ap(sp_volvo_chevrolet).
neg_buy(porsche) :- ap(sp_chevrolet_porsche).
neg_buy(porsche) :- ap(sp_porsche_porsche).
neg_buy(porsche) :- ap(sp_volvo_porsche).
neg_buy(volvo) :- ap(sp_chevrolet_volvo).
neg_buy(volvo) :- ap(sp_porsche_volvo).
neg_buy(volvo) :- ap(sp_volvo_volvo).
neg_buy(chevrolet) :- ap(np_chevrolet_chevrolet).
neg_buy(chevrolet) :- ap(np_porsche_chevrolet).
neg_buy(chevrolet) :- ap(np_volvo_chevrolet).
neg_buy(porsche) :- ap(np_chevrolet_porsche).
neg_buy(porsche) :- ap(np_porsche_porsche).
neg_buy(porsche) :- ap(np_volvo_porsche).
neg_buy(volvo) :- ap(np_chevrolet_volvo).
neg_buy(volvo) :- ap(np_porsche_volvo).
neg_buy(volvo) :- ap(np_volvo_volvo).
neg_buy(chevrolet) :- ap(fp_chevrolet_chevrolet).
neg_buy(chevrolet) :- ap(fp_porsche_chevrolet).
neg_buy(chevrolet) :- ap(fp_volvo_chevrolet).
neg_buy(porsche) :- ap(fp_chevrolet_porsche).
neg_buy(porsche) :- ap(fp_porsche_porsche).
neg_buy(porsche) :- ap(fp_volvo_porsche).
neg_buy(volvo) :- ap(fp_chevrolet_volvo).
neg_buy(volvo) :- ap(fp_porsche_volvo).
neg_buy(volvo) :- ap(fp_volvo_volvo).
ap(e_chevrolet) :- ok(e_chevrolet), not buy(chevrolet), expensive(chevrolet).
ap(e_porsche) :- ok(e_porsche), not buy(porsche), expensive(porsche).
ap(e_volvo) :- ok(e_volvo), not buy(volvo), expensive(volvo).
ap(s_chevrolet) :- ok(s_chevrolet), not neg_buy(chevrolet), safe(chevrolet).
ap(s_porsche) :- ok(s_porsche), not neg_buy(porsche), safe(porsche).
ap(s_volvo) :- ok(s_volvo), not neg_buy(volvo), safe(volvo).
ap(n_chevrolet) :- ok(n_chevrolet), not neg_buy(chevrolet), nice(chevrolet).
ap(n_porsche) :- ok(n_porsche), not neg_buy(porsche), nice(porsche).
ap(n_volvo) :- ok(n_volvo), not neg_buy(volvo), nice(volvo).
ap(f_chevrolet) :- ok(f_chevrolet), not neg_buy(chevrolet), fast(chevrolet).
ap(f_porsche) :- ok(f_porsche), not neg_buy(porsche), fast(porsche).
ap(f_volvo) :- ok(f_volvo), not neg_buy(volvo), fast(volvo).
ap(sp_chevrolet_chevrolet) :- ok(sp_chevrolet_chevrolet), safe(chevrolet), buy(chevrolet), neq(chevrolet, chevrolet).
ap(sp_porsche_chevrolet) :- ok(sp_porsche_chevrolet), safe(porsche), buy(porsche), neq(porsche, chevrolet).
ap(sp_volvo_chevrolet) :- ok(sp_volvo_chevrolet), safe(volvo), buy(volvo), neq(volvo, chevrolet).
ap(sp_chevrolet_porsche) :- ok(sp_chevrolet_porsche), safe(chevrolet), buy(chevrolet), neq(chevrolet, porsche).
ap(sp_porsche_porsche) :- ok(sp_porsche_porsche), safe(porsche), buy(porsche), neq(porsche, porsche).
ap(sp_volvo_porsche) :- ok(sp_volvo_porsche), safe(volvo), buy(volvo), neq(volvo, porsche).
ap(sp_chevrolet_volvo) :- ok(sp_chevrolet_volvo), safe(chevrolet), buy(chevrolet), neq(chevrolet, volvo).
ap(sp_porsche_volvo) :- ok(sp_porsche_volvo), safe(porsche), buy(porsche), neq(porsche, volvo).
ap(sp_volvo_volvo) :- ok(sp_volvo_volvo), safe(volvo), buy(volvo), neq(volvo, volvo).
ap(np_chevrolet_chevrolet) :- ok(np_chevrolet_chevrolet), nice(chevrolet), buy(chevrolet), neq(chevrolet, chevrolet).
ap(np_porsche_chevrolet) :- ok(np_porsche_chevrolet), nice(porsche), buy(porsche), neq(porsche, chevrolet).
ap(np_volvo_chevrolet) :- ok(np_volvo_chevrolet), nice(volvo), buy(volvo), neq(volvo, chevrolet).
ap(np_chevrolet_porsche) :- ok(np_chevrolet_porsche), nice(chevrolet), buy(chevrolet), neq(chevrolet, porsche).
ap(np_porsche_porsche) :- ok(np_porsche_porsche), nice(porsche), buy(porsche), neq(porsche, porsche).
ap(np_volvo_porsche) :- ok(np_volvo_porsche), nice(volvo), buy(volvo), neq(volvo, porsche).
ap(np_chevrolet_volvo) :- ok(np_chevrolet_volvo), nice(chevrolet), buy(chevrolet), neq(chevrolet, volvo).
ap(np_porsche_volvo) :- ok(np_porsche_volvo), nice(porsche), buy(porsche), neq(porsche, volvo).
ap(np_volvo_volvo) :- ok(np_volvo_volvo), nice(volvo), buy(volvo), neq(volvo, volvo).
ap(fp_chevrolet_chevrolet) :- ok(fp_chevrolet_chevrolet), fast(chevrolet), buy(chevrolet), neq(chevrolet, chevrolet).
ap(fp_porsche_chevrolet) :- ok(fp_porsche_chevrolet), fast(porsche), buy(porsche), neq(porsche, chevrolet).
ap(fp_volvo_chevrolet) :- ok(fp_volvo_chevrolet), fast(volvo), buy(volvo), neq(volvo, chevrolet).
ap(fp_chevrolet_porsche) :- ok(fp_chevrolet_porsche), fast(chevrolet), buy(chevrolet), neq(chevrolet, porsche).
ap(fp_porsche_porsche) :- ok(fp_porsche_porsche), fast(porsche), buy(porsche), neq(porsche, porsche).
ap(fp_volvo_porsche) :- ok(fp_volvo_porsche), fast(volvo), buy(volvo), neq(volvo, porsche).
ap(fp_chevrolet_volvo) :- ok(fp_chevrolet_volvo), fast(chevrolet), buy(chevrolet), neq(chevrolet, volvo).
ap(fp_porsche_volvo) :- ok(fp_porsche_volvo), fast(porsche), buy(porsche), neq(porsche, volvo).
ap(fp_volvo_volvo) :- ok(fp_volvo_volvo), fast(volvo), buy(volvo), neq(volvo, volvo).
ok(X) :- name(X), oko(X, e_chevrolet), oko(X, e_porsche), oko(X, e_volvo), oko(X, s_chevrolet), oko(X, s_porsche), oko(X, s_volvo), oko(X, n_chevrolet), oko(X, n_porsche), oko(X, n_volvo), oko(X, f_chevrolet), oko(X, f_porsche), oko(X, f_volvo), oko(X, sp_chevrolet_chevrolet), oko(X, sp_porsche_chevrolet), oko(X, sp_volvo_chevrolet), oko(X, sp_chevrolet_porsche), oko(X, sp_porsche_porsche), oko(X, sp_volvo_porsche), oko(X, sp_chevrolet_volvo), oko(X, sp_porsche_volvo), oko(X, sp_volvo_volvo), oko(X, np_chevrolet_chevrolet), oko(X, np_porsche_chevrolet), oko(X, np_volvo_chevrolet), oko(X, np_chevrolet_porsche), oko(X, np_porsche_porsche), oko(X, np_volvo_porsche), oko(X, np_chevrolet_volvo), oko(X, np_porsche_volvo), oko(X, np_volvo_volvo), oko(X, fp_chevrolet_chevrolet), oko(X, fp_porsche_chevrolet), oko(X, fp_volvo_chevrolet), oko(X, fp_chevrolet_porsche), oko(X, fp_porsche_porsche), oko(X, fp_volvo_porsche), oko(X, fp_chevrolet_volvo), oko(X, fp_porsche_volvo), oko(X, fp_volvo_volvo).
bl(e_chevrolet) :- ok(e_chevrolet), buy(chevrolet).
bl(e_chevrolet) :- ok(e_chevrolet), not expensive(chevrolet).
bl(e_porsche) :- ok(e_porsche), buy(porsche).
bl(e_porsche) :- ok(e_porsche), not expensive(porsche).
bl(e_volvo) :- ok(e_volvo), buy(volvo).
bl(e_volvo) :- ok(e_volvo), not expensive(volvo).
bl(s_chevrolet) :- ok(s_chevrolet), neg_buy(chevrolet).
bl(s_chevrolet) :- ok(s_chevrolet), not safe(chevrolet).
bl(s_porsche) :- ok(s_porsche), neg_buy(porsche).
bl(s_porsche) :- ok(s_porsche), not safe(porsche).
bl(s_volvo) :- ok(s_volvo), neg_buy(volvo).
bl(s_volvo) :- ok(s_volvo), not safe(volvo).
bl(n_chevrolet) :- ok(n_chevrolet), neg_buy(chevrolet).
bl(n_chevrolet) :- ok(n_chevrolet), not nice(chevrolet).
bl(n_porsche) :- ok(n_porsche), neg_buy(porsche).
bl(n_porsche) :- ok(n_porsche), not nice(porsche).
bl(n_volvo) :- ok(n_volvo), neg_buy(volvo).
bl(n_volvo) :- ok(n_volvo), not nice(volvo).
bl(f_chevrolet) :- ok(f_chevrolet), neg_buy(chevrolet).
bl(f_chevrolet) :- ok(f_chevrolet), not fast(chevrolet).
bl(f_porsche) :- ok(f_porsche), neg_buy(porsche).
bl(f_porsche) :- ok(f_porsche), not fast(porsche).
bl(f_volvo) :- ok(f_volvo), neg_buy(volvo).
bl(f_volvo) :- ok(f_volvo), not fast(volvo).
bl(sp_chevrolet_chevrolet) :- ok(sp_chevrolet_chevrolet), not safe(chevrolet).
bl(sp_chevrolet_chevrolet) :- ok(sp_chevrolet_chevrolet), not buy(chevrolet).
bl(sp_chevrolet_chevrolet) :- ok(sp_chevrolet_chevrolet), not neq(chevrolet, chevrolet).
bl(sp_porsche_chevrolet) :- ok(sp_porsche_chevrolet), not safe(porsche).
bl(sp_porsche_chevrolet) :- ok(sp_porsche_chevrolet), not buy(porsche).
bl(sp_porsche_chevrolet) :- ok(sp_porsche_chevrolet), not neq(porsche, chevrolet).
bl(sp_volvo_chevrolet) :- ok(sp_volvo_chevrolet), not safe(volvo).
bl(sp_volvo_chevrolet) :- ok(sp_volvo_chevrolet), not buy(volvo).
bl(sp_volvo_chevrolet) :- ok(sp_volvo_chevrolet), not neq(volvo, chevrolet).
bl(sp_chevrolet_porsche) :- ok(sp_chevrolet_porsche), not safe(chevrolet).
bl(sp_chevrolet_porsche) :- ok(sp_chevrolet_porsche), not buy(chevrolet).
bl(sp_chevrolet_porsche) :- ok(sp_chevrolet_porsche), not neq(chevrolet, porsche).
bl(sp_porsche_porsche) :- ok(sp_porsche_porsche), not safe(porsche).
bl(sp_porsche_porsche) :- ok(sp_porsche_porsche), not buy(porsche).
bl(sp_porsche_porsche) :- ok(sp_porsche_porsche), not neq(porsche, porsche).
bl(sp_volvo_porsche) :- ok(sp_volvo_porsche), not safe(volvo).
bl(sp_volvo_porsche) :- ok(sp_volvo_porsche), not buy(volvo).
bl(sp_volvo_porsche) :- ok(sp_volvo_porsche), not neq(volvo, porsche).
bl(sp_chevrolet_volvo) :- ok(sp_chevrolet_volvo), not safe(chevrolet).
bl(sp_chevrolet_volvo) :- ok(sp_chevrolet_volvo), not buy(chevrolet).
bl(sp_chevrolet_volvo) :- ok(sp_chevrolet_volvo), not neq(chevrolet, volvo).
bl(sp_porsche_volvo) :- ok(sp_porsche_volvo), not safe(porsche).
bl(sp_porsche_volvo) :- ok(sp_porsche_volvo), not buy(porsche).
bl(sp_porsche_volvo) :- ok(sp_porsche_volvo), not neq(porsche, volvo).
bl(sp_volvo_volvo) :- ok(sp_volvo_volvo), not safe(volvo).
bl(sp_volvo_volvo) :- ok(sp_volvo_volvo), not buy(volvo).
bl(sp_volvo_volvo) :- ok(sp_volvo_volvo), not neq(volvo, volvo).
bl(np_chevrolet_chevrolet) :- ok(np_chevrolet_chevrolet), not nice(chevrolet).
bl(np_chevrolet_chevrolet) :- ok(np_chevrolet_chevrolet), not buy(chevrolet).
bl(np_chevrolet_chevrolet) :- ok(np_chevrolet_chevrolet), not neq(chevrolet, chevrolet).
bl(np_porsche_chevrolet) :- ok(np_porsche_chevrolet), not nice(porsche).
bl(np_porsche_chevrolet) :- ok(np_porsche_chevrolet), not buy(porsche).
bl(np_porsche_chevrolet) :- ok(np_porsche_chevrolet), not neq(porsche, chevrolet).
bl(np_volvo_chevrolet) :- ok(np_volvo_chevrolet), not nice(volvo).
bl(np_volvo_chevrolet) :- ok(np_volvo_chevrolet), not buy(volvo).
bl(np_volvo_chevrolet) :- ok(np_volvo_chevrolet), not neq(volvo, chevrolet).
bl(np_chevrolet_porsche) :- ok(np_chevrolet_porsche), not nice(chevrolet).
bl(np_chevrolet_porsche) :- ok(np_chevrolet_porsche), not buy(chevrolet).
bl(np_chevrolet_porsche) :- ok(np_chevrolet_porsche), not neq(chevrolet, porsche).
bl(np_porsche_porsche) :- ok(np_porsche_porsche), not nice(porsche).
bl(np_porsche_porsche) :- ok(np_porsche_porsche), not buy(porsche).
bl(np_porsche_porsche) :- ok(np_porsche_porsche), not neq(porsche, porsche).
bl(np_volvo_porsche) :- ok(np_volvo_porsche), not nice(volvo).
bl(np_volvo_porsche) :- ok(np_volvo_porsche), not buy(volvo).
bl(np_volvo_porsche) :- ok(np_volvo_porsche), not neq(volvo, porsche).
bl(np_chevrolet_volvo) :- ok(np_chevrolet_volvo), not nice(chevrolet).
bl(np_chevrolet_volvo) :- ok(np_chevrolet_volvo), not buy(chevrolet).
bl(np_chevrolet_volvo) :- ok(np_chevrolet_volvo), not neq(chevrolet, volvo).
bl(np_porsche_volvo) :- ok(np_porsche_volvo), not nice(porsche).
bl(np_porsche_volvo) :- ok(np_porsche_volvo), not buy(porsche).
bl(np_porsche_volvo) :- ok(np_porsche_volvo), not neq(porsche, volvo).
bl(np_volvo_volvo) :- ok(np_volvo_volvo), not nice(volvo).
bl(np_volvo_volvo) :- ok(np_volvo_volvo), not buy(volvo).
bl(np_volvo_volvo) :- ok(np_volvo_volvo), not neq(volvo, volvo).
bl(fp_chevrolet_chevrolet) :- ok(fp_chevrolet_chevrolet), not fast(chevrolet).
bl(fp_chevrolet_chevrolet) :- ok(fp_chevrolet_chevrolet), not buy(chevrolet).
bl(fp_chevrolet_chevrolet) :- ok(fp_chevrolet_chevrolet), not neq(chevrolet, chevrolet).
bl(fp_porsche_chevrolet) :- ok(fp_porsche_chevrolet), not fast(porsche).
bl(fp_porsche_chevrolet) :- ok(fp_porsche_chevrolet), not buy(porsche).
bl(fp_porsche_chevrolet) :- ok(fp_porsche_chevrolet), not neq(porsche, chevrolet).
bl(fp_volvo_chevrolet) :- ok(fp_volvo_chevrolet), not fast(volvo).
bl(fp_volvo_chevrolet) :- ok(fp_volvo_chevrolet), not buy(volvo).
bl(fp_volvo_chevrolet) :- ok(fp_volvo_chevrolet), not neq(volvo, chevrolet).
bl(fp_chevrolet_porsche) :- ok(fp_chevrolet_porsche), not fast(chevrolet).
bl(fp_chevrolet_porsche) :- ok(fp_chevrolet_porsche), not buy(chevrolet).
bl(fp_chevrolet_porsche) :- ok(fp_chevrolet_porsche), not neq(chevrolet, porsche).
bl(fp_porsche_porsche) :- ok(fp_porsche_porsche), not fast(porsche).
bl(fp_porsche_porsche) :- ok(fp_porsche_porsche), not buy(porsche).
bl(fp_porsche_porsche) :- ok(fp_porsche_porsche), not neq(porsche, porsche).
bl(fp_volvo_porsche) :- ok(fp_volvo_porsche), not fast(volvo).
bl(fp_volvo_porsche) :- ok(fp_volvo_porsche), not buy(volvo).
bl(fp_volvo_porsche) :- ok(fp_volvo_porsche), not neq(volvo, porsche).
bl(fp_chevrolet_volvo) :- ok(fp_chevrolet_volvo), not fast(chevrolet).
bl(fp_chevrolet_volvo) :- ok(fp_chevrolet_volvo), not buy(chevrolet).
bl(fp_chevrolet_volvo) :- ok(fp_chevrolet_volvo), not neq(chevrolet, volvo).
bl(fp_porsche_volvo) :- ok(fp_porsche_volvo), not fast(porsche).
bl(fp_porsche_volvo) :- ok(fp_porsche_volvo), not buy(porsche).
bl(fp_porsche_volvo) :- ok(fp_porsche_volvo), not neq(porsche, volvo).
bl(fp_volvo_volvo) :- ok(fp_volvo_volvo), not fast(volvo).
bl(fp_volvo_volvo) :- ok(fp_volvo_volvo), not buy(volvo).
bl(fp_volvo_volvo) :- ok(fp_volvo_volvo), not neq(volvo, volvo).
neq(chevrolet, volvo) :- true.
neq(chevrolet, porsche) :- true.
neq(volvo, chevrolet) :- true.
neq(volvo, porsche) :- true.
neq(porsche, chevrolet) :- true.
neq(porsche, volvo) :- true.
prec(s_chevrolet, e_chevrolet) :- true.
prec(s_chevrolet, e_porsche) :- true.
prec(s_chevrolet, e_volvo) :- true.
prec(s_porsche, e_chevrolet) :- true.
prec(s_porsche, e_porsche) :- true.
prec(s_porsche, e_volvo) :- true.
prec(s_volvo, e_chevrolet) :- true.
prec(s_volvo, e_porsche) :- true.
prec(s_volvo, e_volvo) :- true.
prec(sp_chevrolet_chevrolet, e_chevrolet) :- true.
prec(sp_chevrolet_chevrolet, e_porsche) :- true.
prec(sp_chevrolet_chevrolet, e_volvo) :- true.
prec(sp_chevrolet_porsche, e_chevrolet) :- true.
prec(sp_chevrolet_porsche, e_porsche) :- true.
prec(sp_chevrolet_porsche, e_volvo) :- true.
prec(sp_chevrolet_volvo, e_chevrolet) :- true.
prec(sp_chevrolet_volvo, e_porsche) :- true.
prec(sp_chevrolet_volvo, e_volvo) :- true.
prec(sp_porsche_chevrolet, e_chevrolet) :- true.
prec(sp_porsche_chevrolet, e_porsche) :- true.
prec(sp_porsche_chevrolet, e_volvo) :- true.
prec(sp_porsche_porsche, e_chevrolet) :- true.
prec(sp_porsche_porsche, e_porsche) :- true.
prec(sp_porsche_porsche, e_volvo) :- true.
prec(sp_porsche_volvo, e_chevrolet) :- true.
prec(sp_porsche_volvo, e_porsche) :- true.
prec(sp_porsche_volvo, e_volvo) :- true.
prec(sp_volvo_chevrolet, e_chevrolet) :- true.
prec(sp_volvo_chevrolet, e_porsche) :- true.
prec(sp_volvo_chevrolet, e_volvo) :- true.
prec(sp_volvo_porsche, e_chevrolet) :- true.
prec(sp_volvo_porsche, e_porsche) :- true.
prec(sp_volvo_porsche, e_volvo) :- true.
prec(sp_volvo_volvo, e_chevrolet) :- true.
prec(sp_volvo_volvo, e_porsche) :- true.
prec(sp_volvo_volvo, e_volvo) :- true.
prec(n_chevrolet, s_chevrolet) :- true.
prec(n_chevrolet, s_porsche) :- true.
prec(n_chevrolet, s_volvo) :- true.
prec(n_porsche, s_chevrolet) :- true.
prec(n_porsche, s_porsche) :- true.
prec(n_porsche, s_volvo) :- true.
prec(n_volvo, s_chevrolet) :- true.
prec(n_volvo, s_porsche) :- true.
prec(n_volvo, s_volvo) :- true.
prec(np_chevrolet_chevrolet, s_chevrolet) :- true.
prec(np_chevrolet_chevrolet, s_porsche) :- true.
prec(np_chevrolet_chevrolet, s_volvo) :- true.
prec(np_chevrolet_porsche, s_chevrolet) :- true.
prec(np_chevrolet_porsche, s_porsche) :- true.
prec(np_chevrolet_porsche, s_volvo) :- true.
prec(np_chevrolet_volvo, s_chevrolet) :- true.
prec(np_chevrolet_volvo, s_porsche) :- true.
prec(np_chevrolet_volvo, s_volvo) :- true.
prec(np_porsche_chevrolet, s_chevrolet) :- true.
prec(np_porsche_chevrolet, s_porsche) :- true.
prec(np_porsche_chevrolet, s_volvo) :- true.
prec(np_porsche_porsche, s_chevrolet) :- true.
prec(np_porsche_porsche, s_porsche) :- true.
prec(np_porsche_porsche, s_volvo) :- true.
prec(np_porsche_volvo, s_chevrolet) :- true.
prec(np_porsche_volvo, s_porsche) :- true.
prec(np_porsche_volvo, s_volvo) :- true.
prec(np_volvo_chevrolet, s_chevrolet) :- true.
prec(np_volvo_chevrolet, s_porsche) :- true.
prec(np_volvo_chevrolet, s_volvo) :- true.
prec(np_volvo_porsche, s_chevrolet) :- true.
prec(np_volvo_porsche, s_porsche) :- true.
prec(np_volvo_porsche, s_volvo) :- true.
prec(np_volvo_volvo, s_chevrolet) :- true.
prec(np_volvo_volvo, s_porsche) :- true.
prec(np_volvo_volvo, s_volvo) :- true.
prec(n_chevrolet, sp_chevrolet_chevrolet) :- true.
prec(n_chevrolet, sp_chevrolet_porsche) :- true.
prec(n_chevrolet, sp_chevrolet_volvo) :- true.
prec(n_chevrolet, sp_porsche_chevrolet) :- true.
prec(n_chevrolet, sp_porsche_porsche) :- true.
prec(n_chevrolet, sp_porsche_volvo) :- true.
prec(n_chevrolet, sp_volvo_chevrolet) :- true.
prec(n_chevrolet, sp_volvo_porsche) :- true.
prec(n_chevrolet, sp_volvo_volvo) :- true.
prec(n_porsche, sp_chevrolet_chevrolet) :- true.
prec(n_porsche, sp_chevrolet_porsche) :- true.
prec(n_porsche, sp_chevrolet_volvo) :- true.
prec(n_porsche, sp_porsche_chevrolet) :- true.
prec(n_porsche, sp_porsche_porsche) :- true.
prec(n_porsche, sp_porsche_volvo) :- true.
prec(n_porsche, sp_volvo_chevrolet) :- true.
prec(n_porsche, sp_volvo_porsche) :- true.
prec(n_porsche, sp_volvo_volvo) :- true.
prec(n_volvo, sp_chevrolet_chevrolet) :- true.
prec(n_volvo, sp_chevrolet_porsche) :- true.
prec(n_volvo, sp_chevrolet_volvo) :- true.
prec(n_volvo, sp_porsche_chevrolet) :- true.
prec(n_volvo, sp_porsche_porsche) :- true.
prec(n_volvo, sp_porsche_volvo) :- true.
prec(n_volvo, sp_volvo_chevrolet) :- true.
prec(n_volvo, sp_volvo_porsche) :- true.
prec(n_volvo, sp_volvo_volvo) :- true.
prec(np_chevrolet_chevrolet, sp_chevrolet_chevrolet) :- true.
prec(np_chevrolet_chevrolet, sp_chevrolet_porsche) :- true.
prec(np_chevrolet_chevrolet, sp_chevrolet_volvo) :- true.
prec(np_chevrolet_chevrolet, sp_porsche_chevrolet) :- true.
prec(np_chevrolet_chevrolet, sp_porsche_porsche) :- true.
prec(np_chevrolet_chevrolet, sp_porsche_volvo) :- true.
prec(np_chevrolet_chevrolet, sp_volvo_chevrolet) :- true.
prec(np_chevrolet_chevrolet, sp_volvo_porsche) :- true.
prec(np_chevrolet_chevrolet, sp_volvo_volvo) :- true.
prec(np_chevrolet_porsche, sp_chevrolet_chevrolet) :- true.
prec(np_chevrolet_porsche, sp_chevrolet_porsche) :- true.
prec(np_chevrolet_porsche, sp_chevrolet_volvo) :- true.
prec(np_chevrolet_porsche, sp_porsche_chevrolet) :- true.
prec(np_chevrolet_porsche, sp_porsche_porsche) :- true.
prec(np_chevrolet_porsche, sp_porsche_volvo) :- true.
prec(np_chevrolet_porsche, sp_volvo_chevrolet) :- true.
prec(np_chevrolet_porsche, sp_volvo_porsche) :- true.
prec(np_chevrolet_porsche, sp_volvo_volvo) :- true.
prec(np_chevrolet_volvo, sp_chevrolet_chevrolet) :- true.
prec(np_chevrolet_volvo, sp_chevrolet_porsche) :- true.
prec(np_chevrolet_volvo, sp_chevrolet_volvo) :- true.
prec(np_chevrolet_volvo, sp_porsche_chevrolet) :- true.
prec(np_chevrolet_volvo, sp_porsche_porsche) :- true.
prec(np_chevrolet_volvo, sp_porsche_volvo) :- true.
prec(np_chevrolet_volvo, sp_volvo_chevrolet) :- true.
prec(np_chevrolet_volvo, sp_volvo_porsche) :- true.
prec(np_chevrolet_volvo, sp_volvo_volvo) :- true.
prec(np_porsche_chevrolet, sp_chevrolet_chevrolet) :- true.
prec(np_porsche_chevrolet, sp_chevrolet_porsche) :- true.
prec(np_porsche_chevrolet, sp_chevrolet_volvo) :- true.
prec(np_porsche_chevrolet, sp_porsche_chevrolet) :- true.
prec(np_porsche_chevrolet, sp_porsche_porsche) :- true.
prec(np_porsche_chevrolet, sp_porsche_volvo) :- true.
prec(np_porsche_chevrolet, sp_volvo_chevrolet) :- true.
prec(np_porsche_chevrolet, sp_volvo_porsche) :- true.
prec(np_porsche_chevrolet, sp_volvo_volvo) :- true.
prec(np_porsche_porsche, sp_chevrolet_chevrolet) :- true.
prec(np_porsche_porsche, sp_chevrolet_porsche) :- true.
prec(np_porsche_porsche, sp_chevrolet_volvo) :- true.
prec(np_porsche_porsche, sp_porsche_chevrolet) :- true.
prec(np_porsche_porsche, sp_porsche_porsche) :- true.
prec(np_porsche_porsche, sp_porsche_volvo) :- true.
prec(np_porsche_porsche, sp_volvo_chevrolet) :- true.
prec(np_porsche_porsche, sp_volvo_porsche) :- true.
prec(np_porsche_porsche, sp_volvo_volvo) :- true.
prec(np_porsche_volvo, sp_chevrolet_chevrolet) :- true.
prec(np_porsche_volvo, sp_chevrolet_porsche) :- true.
prec(np_porsche_volvo, sp_chevrolet_volvo) :- true.
prec(np_porsche_volvo, sp_porsche_chevrolet) :- true.
prec(np_porsche_volvo, sp_porsche_porsche) :- true.
prec(np_porsche_volvo, sp_porsche_volvo) :- true.
prec(np_porsche_volvo, sp_volvo_chevrolet) :- true.
prec(np_porsche_volvo, sp_volvo_porsche) :- true.
prec(np_porsche_volvo, sp_volvo_volvo) :- true.
prec(np_volvo_chevrolet, sp_chevrolet_chevrolet) :- true.
prec(np_volvo_chevrolet, sp_chevrolet_porsche) :- true.
prec(np_volvo_chevrolet, sp_chevrolet_volvo) :- true.
prec(np_volvo_chevrolet, sp_porsche_chevrolet) :- true.
prec(np_volvo_chevrolet, sp_porsche_porsche) :- true.
prec(np_volvo_chevrolet, sp_porsche_volvo) :- true.
prec(np_volvo_chevrolet, sp_volvo_chevrolet) :- true.
prec(np_volvo_chevrolet, sp_volvo_porsche) :- true.
prec(np_volvo_chevrolet, sp_volvo_volvo) :- true.
prec(np_volvo_porsche, sp_chevrolet_chevrolet) :- true.
prec(np_volvo_porsche, sp_chevrolet_porsche) :- true.
prec(np_volvo_porsche, sp_chevrolet_volvo) :- true.
prec(np_volvo_porsche, sp_porsche_chevrolet) :- true.
prec(np_volvo_porsche, sp_porsche_porsche) :- true.
prec(np_volvo_porsche, sp_porsche_volvo) :- true.
prec(np_volvo_porsche, sp_volvo_chevrolet) :- true.
prec(np_volvo_porsche, sp_volvo_porsche) :- true.
prec(np_volvo_porsche, sp_volvo_volvo) :- true.
prec(np_volvo_volvo, sp_chevrolet_chevrolet) :- true.
prec(np_volvo_volvo, sp_chevrolet_porsche) :- true.
prec(np_volvo_volvo, sp_chevrolet_volvo) :- true.
prec(np_volvo_volvo, sp_porsche_chevrolet) :- true.
prec(np_volvo_volvo, sp_porsche_porsche) :- true.
prec(np_volvo_volvo, sp_porsche_volvo) :- true.
prec(np_volvo_volvo, sp_volvo_chevrolet) :- true.
prec(np_volvo_volvo, sp_volvo_porsche) :- true.
prec(np_volvo_volvo, sp_volvo_volvo) :- true.
prec(f_chevrolet, n_chevrolet) :- true.
prec(f_chevrolet, n_porsche) :- true.
prec(f_chevrolet, n_volvo) :- true.
prec(f_porsche, n_chevrolet) :- true.
prec(f_porsche, n_porsche) :- true.
prec(f_porsche, n_volvo) :- true.
prec(f_volvo, n_chevrolet) :- true.
prec(f_volvo, n_porsche) :- true.
prec(f_volvo, n_volvo) :- true.
prec(fp_chevrolet_chevrolet, n_chevrolet) :- true.
prec(fp_chevrolet_chevrolet, n_porsche) :- true.
prec(fp_chevrolet_chevrolet, n_volvo) :- true.
prec(fp_chevrolet_porsche, n_chevrolet) :- true.
prec(fp_chevrolet_porsche, n_porsche) :- true.
prec(fp_chevrolet_porsche, n_volvo) :- true.
prec(fp_chevrolet_volvo, n_chevrolet) :- true.
prec(fp_chevrolet_volvo, n_porsche) :- true.
prec(fp_chevrolet_volvo, n_volvo) :- true.
prec(fp_porsche_chevrolet, n_chevrolet) :- true.
prec(fp_porsche_chevrolet, n_porsche) :- true.
prec(fp_porsche_chevrolet, n_volvo) :- true.
prec(fp_porsche_porsche, n_chevrolet) :- true.
prec(fp_porsche_porsche, n_porsche) :- true.
prec(fp_porsche_porsche, n_volvo) :- true.
prec(fp_porsche_volvo, n_chevrolet) :- true.
prec(fp_porsche_volvo, n_porsche) :- true.
prec(fp_porsche_volvo, n_volvo) :- true.
prec(fp_volvo_chevrolet, n_chevrolet) :- true.
prec(fp_volvo_chevrolet, n_porsche) :- true.
prec(fp_volvo_chevrolet, n_volvo) :- true.
prec(fp_volvo_porsche, n_chevrolet) :- true.
prec(fp_volvo_porsche, n_porsche) :- true.
prec(fp_volvo_porsche, n_volvo) :- true.
prec(fp_volvo_volvo, n_chevrolet) :- true.
prec(fp_volvo_volvo, n_porsche) :- true.
prec(fp_volvo_volvo, n_volvo) :- true.
prec(f_chevrolet, np_chevrolet_chevrolet) :- true.
prec(f_chevrolet, np_chevrolet_porsche) :- true.
prec(f_chevrolet, np_chevrolet_volvo) :- true.
prec(f_chevrolet, np_porsche_chevrolet) :- true.
prec(f_chevrolet, np_porsche_porsche) :- true.
prec(f_chevrolet, np_porsche_volvo) :- true.
prec(f_chevrolet, np_volvo_chevrolet) :- true.
prec(f_chevrolet, np_volvo_porsche) :- true.
prec(f_chevrolet, np_volvo_volvo) :- true.
prec(f_porsche, np_chevrolet_chevrolet) :- true.
prec(f_porsche, np_chevrolet_porsche) :- true.
prec(f_porsche, np_chevrolet_volvo) :- true.
prec(f_porsche, np_porsche_chevrolet) :- true.
prec(f_porsche, np_porsche_porsche) :- true.
prec(f_porsche, np_porsche_volvo) :- true.
prec(f_porsche, np_volvo_chevrolet) :- true.
prec(f_porsche, np_volvo_porsche) :- true.
prec(f_porsche, np_volvo_volvo) :- true.
prec(f_volvo, np_chevrolet_chevrolet) :- true.
prec(f_volvo, np_chevrolet_porsche) :- true.
prec(f_volvo, np_chevrolet_volvo) :- true.
prec(f_volvo, np_porsche_chevrolet) :- true.
prec(f_volvo, np_porsche_porsche) :- true.
prec(f_volvo, np_porsche_volvo) :- true.
prec(f_volvo, np_volvo_chevrolet) :- true.
prec(f_volvo, np_volvo_porsche) :- true.
prec(f_volvo, np_volvo_volvo) :- true.
prec(fp_chevrolet_chevrolet, np_chevrolet_chevrolet) :- true.
prec(fp_chevrolet_chevrolet, np_chevrolet_porsche) :- true.
prec(fp_chevrolet_chevrolet, np_chevrolet_volvo) :- true.
prec(fp_chevrolet_chevrolet, np_porsche_chevrolet) :- true.
prec(fp_chevrolet_chevrolet, np_porsche_porsche) :- true.
prec(fp_chevrolet_chevrolet, np_porsche_volvo) :- true.
prec(fp_chevrolet_chevrolet, np_volvo_chevrolet) :- true.
prec(fp_chevrolet_chevrolet, np_volvo_porsche) :- true.
prec(fp_chevrolet_chevrolet, np_volvo_volvo) :- true.
prec(fp_chevrolet_porsche, np_chevrolet_chevrolet) :- true.
prec(fp_chevrolet_porsche, np_chevrolet_porsche) :- true.
prec(fp_chevrolet_porsche, np_chevrolet_volvo) :- true.
prec(fp_chevrolet_porsche, np_porsche_chevrolet) :- true.
prec(fp_chevrolet_porsche, np_porsche_porsche) :- true.
prec(fp_chevrolet_porsche, np_porsche_volvo) :- true.
prec(fp_chevrolet_porsche, np_volvo_chevrolet) :- true.
prec(fp_chevrolet_porsche, np_volvo_porsche) :- true.
prec(fp_chevrolet_porsche, np_volvo_volvo) :- true.
prec(fp_chevrolet_volvo, np_chevrolet_chevrolet) :- true.
prec(fp_chevrolet_volvo, np_chevrolet_porsche) :- true.
prec(fp_chevrolet_volvo, np_chevrolet_volvo) :- true.
prec(fp_chevrolet_volvo, np_porsche_chevrolet) :- true.
prec(fp_chevrolet_volvo, np_porsche_porsche) :- true.
prec(fp_chevrolet_volvo, np_porsche_volvo) :- true.
prec(fp_chevrolet_volvo, np_volvo_chevrolet) :- true.
prec(fp_chevrolet_volvo, np_volvo_porsche) :- true.
prec(fp_chevrolet_volvo, np_volvo_volvo) :- true.
prec(fp_porsche_chevrolet, np_chevrolet_chevrolet) :- true.
prec(fp_porsche_chevrolet, np_chevrolet_porsche) :- true.
prec(fp_porsche_chevrolet, np_chevrolet_volvo) :- true.
prec(fp_porsche_chevrolet, np_porsche_chevrolet) :- true.
prec(fp_porsche_chevrolet, np_porsche_porsche) :- true.
prec(fp_porsche_chevrolet, np_porsche_volvo) :- true.
prec(fp_porsche_chevrolet, np_volvo_chevrolet) :- true.
prec(fp_porsche_chevrolet, np_volvo_porsche) :- true.
prec(fp_porsche_chevrolet, np_volvo_volvo) :- true.
prec(fp_porsche_porsche, np_chevrolet_chevrolet) :- true.
prec(fp_porsche_porsche, np_chevrolet_porsche) :- true.
prec(fp_porsche_porsche, np_chevrolet_volvo) :- true.
prec(fp_porsche_porsche, np_porsche_chevrolet) :- true.
prec(fp_porsche_porsche, np_porsche_porsche) :- true.
prec(fp_porsche_porsche, np_porsche_volvo) :- true.
prec(fp_porsche_porsche, np_volvo_chevrolet) :- true.
prec(fp_porsche_porsche, np_volvo_porsche) :- true.
prec(fp_porsche_porsche, np_volvo_volvo) :- true.
prec(fp_porsche_volvo, np_chevrolet_chevrolet) :- true.
prec(fp_porsche_volvo, np_chevrolet_porsche) :- true.
prec(fp_porsche_volvo, np_chevrolet_volvo) :- true.
prec(fp_porsche_volvo, np_porsche_chevrolet) :- true.
prec(fp_porsche_volvo, np_porsche_porsche) :- true.
prec(fp_porsche_volvo, np_porsche_volvo) :- true.
prec(fp_porsche_volvo, np_volvo_chevrolet) :- true.
prec(fp_porsche_volvo, np_volvo_porsche) :- true.
prec(fp_porsche_volvo, np_volvo_volvo) :- true.
prec(fp_volvo_chevrolet, np_chevrolet_chevrolet) :- true.
prec(fp_volvo_chevrolet, np_chevrolet_porsche) :- true.
prec(fp_volvo_chevrolet, np_chevrolet_volvo) :- true.
prec(fp_volvo_chevrolet, np_porsche_chevrolet) :- true.
prec(fp_volvo_chevrolet, np_porsche_porsche) :- true.
prec(fp_volvo_chevrolet, np_porsche_volvo) :- true.
prec(fp_volvo_chevrolet, np_volvo_chevrolet) :- true.
prec(fp_volvo_chevrolet, np_volvo_porsche) :- true.
prec(fp_volvo_chevrolet, np_volvo_volvo) :- true.
prec(fp_volvo_porsche, np_chevrolet_chevrolet) :- true.
prec(fp_volvo_porsche, np_chevrolet_porsche) :- true.
prec(fp_volvo_porsche, np_chevrolet_volvo) :- true.
prec(fp_volvo_porsche, np_porsche_chevrolet) :- true.
prec(fp_volvo_porsche, np_porsche_porsche) :- true.
prec(fp_volvo_porsche, np_porsche_volvo) :- true.
prec(fp_volvo_porsche, np_volvo_chevrolet) :- true.
prec(fp_volvo_porsche, np_volvo_porsche) :- true.
prec(fp_volvo_porsche, np_volvo_volvo) :- true.
prec(fp_volvo_volvo, np_chevrolet_chevrolet) :- true.
prec(fp_volvo_volvo, np_chevrolet_porsche) :- true.
prec(fp_volvo_volvo, np_chevrolet_volvo) :- true.
prec(fp_volvo_volvo, np_porsche_chevrolet) :- true.
prec(fp_volvo_volvo, np_porsche_porsche) :- true.
prec(fp_volvo_volvo, np_porsche_volvo) :- true.
prec(fp_volvo_volvo, np_volvo_chevrolet) :- true.
prec(fp_volvo_volvo, np_volvo_porsche) :- true.
prec(fp_volvo_volvo, np_volvo_volvo) :- true.
neg_prec(Y, X) :- name(X), name(Y), prec(X, Y).
prec(X, Z) :- name(X), name(Z), name(Y), prec(X, Y), prec(Y, Z).
oko(X, Y) :- name(X), name(Y), not prec(X, Y).
oko(X, Y) :- name(X), name(Y), prec(X, Y), ap(Y).
oko(X, Y) :- name(X), name(Y), prec(X, Y), bl(Y).
false :- expensive(X), neg_expensive(X).
false :- safe(X), neg_safe(X).
false :- nice(X), neg_nice(X).
false :- fast(X), neg_fast(X).
false :- buy(X), neg_buy(X).
false :- neq(X, Y), neg_neq(X, Y).
false :- name(X), name(Y), prec(X, Y), neg_prec(X, Y).
name(fp_volvo_volvo).
name(fp_porsche_volvo).
name(fp_chevrolet_volvo).
name(fp_volvo_porsche).
name(fp_porsche_porsche).
name(fp_chevrolet_porsche).
name(fp_volvo_chevrolet).
name(fp_porsche_chevrolet).
name(fp_chevrolet_chevrolet).
name(np_volvo_volvo).
name(np_porsche_volvo).
name(np_chevrolet_volvo).
name(np_volvo_porsche).
name(np_porsche_porsche).
name(np_chevrolet_porsche).
name(np_volvo_chevrolet).
name(np_porsche_chevrolet).
name(np_chevrolet_chevrolet).
name(sp_volvo_volvo).
name(sp_porsche_volvo).
name(sp_chevrolet_volvo).
name(sp_volvo_porsche).
name(sp_porsche_porsche).
name(sp_chevrolet_porsche).
name(sp_volvo_chevrolet).
name(sp_porsche_chevrolet).
name(sp_chevrolet_chevrolet).
name(f_volvo).
name(f_porsche).
name(f_chevrolet).
name(n_volvo).
name(n_porsche).
name(n_chevrolet).
name(s_volvo).
name(s_porsche).
name(s_chevrolet).
name(e_volvo).
name(e_porsche).
name(e_chevrolet).