# PxButton | test | bash .euler http://www.agfa.com/w3c/euler/med.n3 http://www.agfa.com/w3c/euler/qed.n3 > medE.n3

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>. 
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix m: <http://www.agfa.com/w3c/euler/med#>.

m:Ann m:complication m:gastroEntritis.
{m:Ann m:complication m:gastricUlcer} => {}.
{m:Ann m:complication m:postSurgery} => {}.

m:aspirin m:prescribedFor m:gastroEntritis.
m:aspirin m:excludedFor (m:gastricUlcer m:postSurgery).

{?P m:complication ?D.
 ?M m:prescribedFor ?D.
 ?M m:excludedFor ?L.
 ?P m:fineWith ?L}
 => {?P m:isPrescribed ?M}.

{}
 => {?P m:fineWith rdf:nil}.

{?L rdf:first ?A.
 {?P m:complication ?A} => {}.
 ?L rdf:rest ?B.
 ?P m:fineWith ?B}
 => {?P m:fineWith ?L}.

{m:Ann m:isPrescribed m:aspirin} => {e:quod e:erat e:demonstrandum}.