# Generated with http://www.agfa.com/w3c/euler/#R3588 on 29 Sep 2003 22:06:27 GMT
{
 (
 <http://www.agfa.com/w3c/euler/subclass.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 <http://www.agfa.com/w3c/euler/rdfs-rules.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
 ).<http://www.w3.org/2000/10/swap/log#conjunction> =>
 <http://www.agfa.com/w3c/euler/subclass-query.n3>.<http://www.w3.org/2000/10/swap/log#semantics>
}
<http://www.w3.org/2000/10/swap/reason#because>
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix ns: <http://www.agfa.com/w3c/euler/rdfs-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/euler/subclass#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix iw: <http://www.ksl.stanford.edu/software/IW/spec/iw#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

 {
  <http://www.agfa.com/w3c/euler/rdfs-rules#rdfs9>. 
   {[iw:Variable "?A"] = :B. 
    [iw:Variable "?B"] = :A. 
    [iw:Variable "?A"] rdfs:subClassOf [iw:Variable "?B"]} =>
  {:B rdfs:subClassOf :A}. 
   {[iw:Variable "?S"] = :i. 
    [iw:Variable "?A"] = :B. 
    [iw:Variable "?S"] a [iw:Variable "?A"]} =>
  {:i a :B}}  =>
{:i a :A}. 
# Proof found for http://www.agfa.com/w3c/euler/subclass-query.n3 in 48 steps (4800000 steps/sec) using 1 engine
}.