@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <http://www.agfa.com/w3c/temp/conclusionTest#>.

:Socrates a :Man.
:Man rdfs:subClassOf :Mortal.

{?A rdfs:subClassOf ?B.
 ?S a ?A}
 =>
 {?S a ?B}.

{<> log:semantics ?F.
 ?F log:conclusion ?G.
 ?G log:includes {:Socrates a :Mortal}}
 =>
 {:test1 :result :ok}.