# Generated with http://www.agfa.com/w3c/euler/#28.061 on Sat Dec 01 02:19:58 GMT+01:00 2001
# for query http://www.agfa.com/w3c/euler/subclass-query.n3
# given [http://www.agfa.com/w3c/euler/subclass.n3]

@prefix u: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/subclass#>.

 {{:i a :B.
    :B u:subClassOf :A} log:implies
  {:i a [ u:subClassOf :A]}} log:implies
{:i a :A}.

:i a :B.

 {:i a :B.
  :B u:subClassOf :A} log:implies
{:i a [ u:subClassOf :A]}.

# Proof found for http://www.agfa.com/w3c/euler/subclass-query.n3 in 15 steps (2124 steps/sec)