@prefix : <http://eulersharp.sourceforge.net/2005/11swap/einstein#>.

{((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (:dane ?PC ?SC :tea ?CC). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (:swede :dog ?SB ?DB ?CB). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (:brit ?PA ?SA ?DA :red). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (:german ?PQ :rothmans ?DQ ?CQ). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :near ((:norwegian ?PR ?SR ?DR ?CR) (?NS ?PS ?SS ?DS :blue)). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (?NF ?PF ?SF :coffee :green). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :next ((?ND ?PD ?SD ?DD :green) (?NE ?PE ?SE ?DE :white)). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (?NH ?PH :dunhill ?DH :yellow). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (?NG :bird :pallmall ?DG ?CG). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (?NP ?PP :winfield :beer ?CP). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :near ((?NN ?PN :marlboro ?DN ?CN) (?NO ?PO ?SO :water ?CO)). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :near ((?NL ?PL :marlboro ?DL ?CL) (?NM :cat ?SM ?DM ?CM)). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :near ((?NI ?PI :dunhill ?DI ?CI) (?NJ :horse ?SJ ?DJ ?CJ)). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (?NK ?PK ?SK :milk ?CK). ((:norwegian ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 :milk ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (?NT :fish ?ST ?DT ?CT)} => {?NT :eats :fish}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :next ((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2))}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :next ((?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3))}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :next ((?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4))}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :next ((?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5))}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :near ((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2))}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :near ((?N2 ?P2 ?S2 ?D2 ?C2) (?N1 ?P1 ?S1 ?D1 ?C1))}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :near ((?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3))}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :near ((?N3 ?P3 ?S3 ?D3 ?C3) (?N2 ?P2 ?S2 ?D2 ?C2))}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :near ((?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4))}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :near ((?N4 ?P4 ?S4 ?D4 ?C4) (?N3 ?P3 ?S3 ?D3 ?C3))}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :near ((?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5))}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :near ((?N5 ?P5 ?S5 ?D5 ?C5) (?N4 ?P4 ?S4 ?D4 ?C4))}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (?N1 ?P1 ?S1 ?D1 ?C1)}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (?N2 ?P2 ?S2 ?D2 ?C2)}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (?N3 ?P3 ?S3 ?D3 ?C3)}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (?N4 ?P4 ?S4 ?D4 ?C4)}.
{} => {((?N1 ?P1 ?S1 ?D1 ?C1) (?N2 ?P2 ?S2 ?D2 ?C2) (?N3 ?P3 ?S3 ?D3 ?C3) (?N4 ?P4 ?S4 ?D4 ?C4) (?N5 ?P5 ?S5 ?D5 ?C5)) :item (?N5 ?P5 ?S5 ?D5 ?C5)}.