@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://eulersharp.sourceforge.net/2004/04test/minsuP.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3>!log:semantics
 <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3>!log:semantics)!log:conjunction =>
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix ns0: <http://eulersharp.sourceforge.net/2003/03swap/owl-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://eulersharp.sourceforge.net/2004/04test/minsu#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix ns1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{{:A owl:intersectionOf _:e16_0_} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_4>. 
  {:E owl:intersectionOf _:e52_0_} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_6>. 
  {{_:e16_0_ rdf:first :B} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_4>. 
   {{_:e52_0_ rdf:first :B} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_6>} => {
   {_:e52_0_ ns0:item :B} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}. 
   {:B owl:equivalentClass :B} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {_:e16_0_ rdf:rest _:e27_0_} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_4>. 
   {{_:e27_0_ rdf:first :C} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_4>. 
    {{_:e52_0_ rdf:rest _:e60_0_} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_6>. 
     {{_:e60_0_ rdf:first :C} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_6>} => {
     {_:e60_0_ ns0:item :C} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} => {
    {_:e52_0_ ns0:item :C} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}. 
    {:C owl:equivalentClass :C} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
    {_:e27_0_ rdf:rest _:e35_0_} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_4>. 
    {{_:e35_0_ rdf:first :D} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_4>. 
     {{_:e52_0_ rdf:first :B} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_6>} => {
     {_:e52_0_ ns0:item :B} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}. 
     {:B owl:equivalentClass :D} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_5>. 
     {_:e35_0_ rdf:rest rdf:nil} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_4>. 
     {_:e52_0_ ns0:includes rdf:nil} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_234>} => {
    {_:e52_0_ ns0:includes _:e35_0_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_235>}} => {
   {_:e52_0_ ns0:includes _:e27_0_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_235>}} => {
  {_:e52_0_ ns0:includes _:e16_0_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_235>}} => {
 {:E rdfs:subClassOf :A} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_123>}. 
 {{:E owl:intersectionOf _:e52_0_} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_6>. 
  {:A owl:intersectionOf _:e16_0_} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_4>. 
  {{_:e52_0_ rdf:first :B} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_6>. 
   {{_:e16_0_ rdf:first :B} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_4>} => {
   {_:e16_0_ ns0:item :B} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}. 
   {:B owl:equivalentClass :B} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {_:e52_0_ rdf:rest _:e60_0_} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_6>. 
   {{_:e60_0_ rdf:first :C} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_6>. 
    {{_:e16_0_ rdf:rest _:e27_0_} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_4>. 
     {{_:e27_0_ rdf:first :C} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_4>} => {
     {_:e27_0_ ns0:item :C} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_228>}} => {
    {_:e16_0_ ns0:item :C} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_229>}. 
    {:C owl:equivalentClass :C} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
    {_:e60_0_ rdf:rest rdf:nil} e:evidence <http://eulersharp.sourceforge.net/2004/04test/minsuP.n3#_6>. 
    {_:e16_0_ ns0:includes rdf:nil} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_234>} => {
   {_:e16_0_ ns0:includes _:e60_0_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_235>}} => {
  {_:e16_0_ ns0:includes _:e52_0_} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_235>}} => {
 {:A rdfs:subClassOf :E} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_123>}} => {
{:E owl:equivalentClass :A} e:evidence <http://eulersharp.sourceforge.net/2003/03swap/owl-rules.n3#_119>}. 

# Proof found for http://eulersharp.sourceforge.net/2004/04test/minsuC.n3 in 9795 steps (69959 steps/sec) using 1 engine (302 triples)
}.

