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

{({:MetastaticCancer e:boolean e:T} {:Coma e:boolean e:F} {:HeadAche e:boolean e:T}) e:biconditional ?X} => {:test :answer ?X}.