# Generated with http://eulersharp.sourceforge.net/ version 1.4.7 on 29 Sep 2005 13:07:22 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/owl-rules.n3>!log:semantics
 <http://www.agfa.com/w3c/euler/rdfs-rules.n3>!log:semantics)!log:conjunction e:constructs
{
@prefix str: <http://www.w3.org/2000/10/swap/string#>.
@prefix p0: <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/2003/05geot/continentsP#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix p1: <http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{:Continent owl:oneOf (:Africa :Antarctica :Asia :Australia :Europe :NorthAmerica :SouthAmerica)} e:evidence <http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3#_12>. 
 {{:containsLocation owl:inverseOf :containedIn} e:evidence <http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3#_13>. 
  {{:containsLocation rdfs:domain :Continent} e:evidence <http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3#_13>. 
  {:Continent rdfs:subClassOf :Continent} e:evidence <http://www.w3.org/2002/07/owl#kb>} e:sequent {
 {:containsLocation rdfs:domain :Continent} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_167>}} e:sequent {
 {:containedIn rdfs:range :Continent} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_172>}. 
 {:Finland :containedIn :NorthernHemisphere} e:evidence <http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3#_16>. 
 {{(:Africa :Antarctica :Asia :Australia :Europe :NorthAmerica :SouthAmerica) rdf:first :Africa} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_33>. 
   {:NorthernHemisphere owl:differentFrom :Africa} e:evidence <http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3#_14>} e:sequent {
  {:Africa owl:differentFrom :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_61>}. 
  {(:Africa :Antarctica :Asia :Australia :Europe :NorthAmerica :SouthAmerica) rdf:rest (:Antarctica :Asia :Australia :Europe :NorthAmerica :SouthAmerica)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
  {{(:Antarctica :Asia :Australia :Europe :NorthAmerica :SouthAmerica) rdf:first :Antarctica} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_33>. 
    {:NorthernHemisphere owl:differentFrom :Antarctica} e:evidence <http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3#_14>} e:sequent {
   {:Antarctica owl:differentFrom :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_61>}. 
   {(:Antarctica :Asia :Australia :Europe :NorthAmerica :SouthAmerica) rdf:rest (:Asia :Australia :Europe :NorthAmerica :SouthAmerica)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
   {{(:Asia :Australia :Europe :NorthAmerica :SouthAmerica) rdf:first :Asia} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
    {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_33>. 
     {:NorthernHemisphere owl:differentFrom :Asia} e:evidence <http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3#_14>} e:sequent {
    {:Asia owl:differentFrom :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_61>}. 
    {(:Asia :Australia :Europe :NorthAmerica :SouthAmerica) rdf:rest (:Australia :Europe :NorthAmerica :SouthAmerica)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
    {{(:Australia :Europe :NorthAmerica :SouthAmerica) rdf:first :Australia} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
     {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_33>. 
      {:NorthernHemisphere owl:differentFrom :Australia} e:evidence <http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3#_14>} e:sequent {
     {:Australia owl:differentFrom :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_61>}. 
     {(:Australia :Europe :NorthAmerica :SouthAmerica) rdf:rest (:Europe :NorthAmerica :SouthAmerica)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
     {{(:Europe :NorthAmerica :SouthAmerica) rdf:first :Europe} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
      {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_33>. 
       {:NorthernHemisphere owl:differentFrom :Europe} e:evidence <http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3#_14>} e:sequent {
      {:Europe owl:differentFrom :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_61>}. 
      {(:Europe :NorthAmerica :SouthAmerica) rdf:rest (:NorthAmerica :SouthAmerica)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
      {{(:NorthAmerica :SouthAmerica) rdf:first :NorthAmerica} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_33>. 
        {:NorthernHemisphere owl:differentFrom :NorthAmerica} e:evidence <http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3#_14>} e:sequent {
       {:NorthAmerica owl:differentFrom :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_61>}. 
       {(:NorthAmerica :SouthAmerica) rdf:rest (:SouthAmerica)} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
       {{(:SouthAmerica) rdf:first :SouthAmerica} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {{owl:differentFrom rdf:type owl:SymmetricProperty} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_33>. 
         {:NorthernHemisphere owl:differentFrom :SouthAmerica} e:evidence <http://eulersharp.sourceforge.net/2003/05geot/continentsP.n3#_14>} e:sequent {
        {:SouthAmerica owl:differentFrom :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_61>}. 
        {(:SouthAmerica) rdf:rest ()} e:evidence <http://www.w3.org/2002/07/owl#kb>. 
        {() p0:notItem :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_231>} e:sequent {
       {(:SouthAmerica) p0:notItem :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_232>}} e:sequent {
      {(:NorthAmerica :SouthAmerica) p0:notItem :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_232>}} e:sequent {
     {(:Europe :NorthAmerica :SouthAmerica) p0:notItem :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_232>}} e:sequent {
    {(:Australia :Europe :NorthAmerica :SouthAmerica) p0:notItem :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_232>}} e:sequent {
   {(:Asia :Australia :Europe :NorthAmerica :SouthAmerica) p0:notItem :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_232>}} e:sequent {
  {(:Antarctica :Asia :Australia :Europe :NorthAmerica :SouthAmerica) p0:notItem :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_232>}} e:sequent {
 {(:Africa :Antarctica :Asia :Australia :Europe :NorthAmerica :SouthAmerica) p0:notItem :NorthernHemisphere} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_232>}} e:sequent {
{} e:evidence <http://www.agfa.com/w3c/euler/owl-rules.n3#_222>}. 

# Proof found in 49746 steps (154967 steps/sec) using 1 engine (308 triples)
}.