@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix : <http://eulersharp.sourceforge.net/2004/04test/metastatic#>.

{_: e:true 0.2} => {:MetastaticCancer e:boolean e:T}.

{:MetastaticCancer e:boolean e:T. _: e:true 0.8} => {:SerumCalcium e:boolean e:T}.
{:MetastaticCancer e:boolean e:F. _: e:true 0.2} => {:SerumCalcium e:boolean e:T}.

{:MetastaticCancer e:boolean e:T. _: e:true 0.2} => {:BrainTumor e:boolean e:T}.
{:MetastaticCancer e:boolean e:F. _: e:true 0.05} => {:BrainTumor e:boolean e:T}.

{:SerumCalcium e:boolean e:T. :BrainTumor e:boolean e:T. _: e:true 0.8} => {:Coma e:boolean e:T}.
{:SerumCalcium e:boolean e:T. :BrainTumor e:boolean e:F. _: e:true 0.8} => {:Coma e:boolean e:T}.
{:SerumCalcium e:boolean e:F. :BrainTumor e:boolean e:T. _: e:true 0.8} => {:Coma e:boolean e:T}.
{:SerumCalcium e:boolean e:F. :BrainTumor e:boolean e:F. _: e:true 0.05} => {:Coma e:boolean e:T}.

{:BrainTumor e:boolean e:T. _: e:true 0.8} => {:HeadAche e:boolean e:T}.
{:BrainTumor e:boolean e:F. _: e:true 0.6} => {:HeadAche e:boolean e:T}.