# Generated with http://www.agfa.com/w3c/euler/ version R4104 on 7 Jan 2005 21:46:43 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

(<http://www.agfa.com/w3c/temp/bijan.n3>.log:semantics).log:conjunction =>
{
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix e: <http://www.agfa.com/w3c/euler/log-rules#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix : <http://www.agfa.com/w3c/temp/bijan#>.
@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 owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{{:A a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_51>} => {
{:A :isRewrittenAs :A} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_41>}. 

{{:B a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_52>} => {
{:B :isRewrittenAs :B} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_41>}. 

{{(:tilde (:tilde (:tilde (:and :A :B)))) a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_55>. 
 {(:tilde (:and :A :B)) a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_53>. 
 {{(:tilde (:and :A :B)) a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_53>. 
  {{:A a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_51>} => {
  {:A a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_40>}. 
  {{:B a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_52>} => {
  {:B a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_40>}. 
  {{:A a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_51>} => {
  {:A :isRewrittenAs :A} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_41>}. 
  {{:B a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_52>} => {
  {:B :isRewrittenAs :B} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_41>}} => {
 {(:tilde (:and :A :B)) :isRewrittenAs (:or (:tilde :A) (:tilde :B))} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_43>}} => {
{(:tilde (:tilde (:tilde (:and :A :B)))) :isRewrittenAs (:or (:tilde :A) (:tilde :B))} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_42>}. 

{{(:tilde (:tilde (:tilde (:some :P :B)))) a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_56>. 
 {(:tilde (:some :P :B)) a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_54>. 
 {{(:tilde (:some :P :B)) a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_54>. 
  {{:B a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_52>} => {
  {:B a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_40>}. 
  {{:B a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_52>} => {
  {:B :isRewrittenAs :B} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_41>}} => {
 {(:tilde (:some :P :B)) :isRewrittenAs (:all :P (:tilde :B))} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_45>}} => {
{(:tilde (:tilde (:tilde (:some :P :B)))) :isRewrittenAs (:all :P (:tilde :B))} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_42>}. 

{{(:tilde (:and :A :B)) a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_53>. 
 {{:A a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_51>} => {
 {:A a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_40>}. 
 {{:B a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_52>} => {
 {:B a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_40>}. 
 {{:A a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_51>} => {
 {:A :isRewrittenAs :A} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_41>}. 
 {{:B a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_52>} => {
 {:B :isRewrittenAs :B} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_41>}} => {
{(:tilde (:and :A :B)) :isRewrittenAs (:or (:tilde :A) (:tilde :B))} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_43>}. 

{{(:tilde (:some :P :B)) a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_54>. 
 {{:B a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_52>} => {
 {:B a :GivenClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_40>}. 
 {{:B a :BaseClass} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_52>} => {
 {:B :isRewrittenAs :B} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_41>}} => {
{(:tilde (:some :P :B)) :isRewrittenAs (:all :P (:tilde :B))} e:evidence <http://www.agfa.com/w3c/temp/bijan.n3#_45>}. 

# Proof found for http://www.agfa.com/w3c/temp/bijanC.n3 in 296 steps (3699 steps/sec) using 1 engine (13 triples)
}.