#Processed by EYE v17.0703.0814 josd
#eye --nope http://eulersharp.sourceforge.net/2007/07test/adl.n3 --pass

PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
PREFIX : <http://eulersharp.sourceforge.net/2007/07test/try#>

:Socrates a :Male.
:Socrates a :Mortal.
:Xanthippe a :Female.
:Xanthippe a :Human.
(:a :b :c) a :Result.
(:Socrates :Xanthippe :Xanthippe :Dan :Tim) a :Result.

#2017-07-03T08:17:35.416Z in=7 out=6 ent=2 step=6 brake=4 inf=23418 sec=0.026 inf/sec=900692
#ENDS