@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://eulersharp.sourceforge.net/2005/11swap/einstein#>.

{?L log:equalTo ((? :norwegian ? ? ?) (:blue ? ? ? ?) (? ? ? :milk ?) ? ?);
	e:pair ((? ? ? ? :blends) (? ? :cats ? ?));
	e:pair ((? ? :horse ? ?) (? ? ? ? :dunhill));
	e:sublist ((:green ? ? :coffee ?) (:white ? ? ? ?));
	e:pair ((? ? ? ? :blends) (? ? ? :water ?));
	list:member (:red :brit ? ? ?);
	list:member (? :swede :dogs ? ?);
	list:member (? :dane ? :tea ?);
	list:member (? ? :birds ? :pallmall);
	list:member (:yellow ? ? ? :dunhill);
	list:member (? ? ? :beer :bluemasters);
	list:member (? :german ? ? :prince);
	list:member (? ?A :fish ? ?)}
 =>
 {?A :eats :fish}.