#Processed by Id: cwm.py,v 1.59 2001/07/03 16:55:52 connolly Exp 
        #    using base file:/web/infomesh/2001/proofexample/or.n3
        
#  Notation3 generation by
#       notation3.py,v 1.84 2001/07/02 21:06:31 connolly Exp

#   Base was: file:/web/infomesh/2001/proofexample/or.n3
     @prefix : <http://www.w3.org/2000/10/swap/log#> .
    
    this     a <http://infomesh.net/2001/orexample/#Inconsistency> .
    {
        {
            <http://infomesh.net/2001/orexample/#Joe>     <http://infomesh.net/2001/orexample/#loves> <http://infomesh.net/2001/orexample/#TheSimpsons> .
            
            }     a :Falsehood .
        {
            <http://infomesh.net/2001/orexample/#Joe>     <http://infomesh.net/2001/orexample/#is> <http://infomesh.net/2001/orexample/#Nuts> .
            
            }     a :Falsehood .
        
        }     a :Falsehood .
    {
        {
            {
                {
                    <http://infomesh.net/2001/orexample/#x>     <http://infomesh.net/2001/orexample/#y> <http://infomesh.net/2001/orexample/#z> .
                    
                    }     a :Falsehood .
                {
                    <http://infomesh.net/2001/orexample/#a>     <http://infomesh.net/2001/orexample/#b> <http://infomesh.net/2001/orexample/#c> .
                    
                    }     a :Falsehood .
                
                }     a :Falsehood .
            <http://infomesh.net/2001/orexample/#a>     <http://infomesh.net/2001/orexample/#b> <http://infomesh.net/2001/orexample/#c> .
            <http://infomesh.net/2001/orexample/#x>     <http://infomesh.net/2001/orexample/#y> <http://infomesh.net/2001/orexample/#z> .
            
            }     :implies {this     a <http://infomesh.net/2001/orexample/#Inconsistency> .
            } .
        
        }     a :Truth;
         :forAll <http://infomesh.net/2001/orexample/#a>,
                <http://infomesh.net/2001/orexample/#b>,
                <http://infomesh.net/2001/orexample/#c>,
                <http://infomesh.net/2001/orexample/#x>,
                <http://infomesh.net/2001/orexample/#y>,
                <http://infomesh.net/2001/orexample/#z> .
    {
        {
            {
                {
                    <http://infomesh.net/2001/orexample/#x>     <http://infomesh.net/2001/orexample/#y> <http://infomesh.net/2001/orexample/#z> .
                    
                    }     a :Falsehood .
                {
                    <http://infomesh.net/2001/orexample/#a>     <http://infomesh.net/2001/orexample/#b> <http://infomesh.net/2001/orexample/#c> .
                    
                    }     a :Falsehood .
                
                }     a :Falsehood .
            <http://infomesh.net/2001/orexample/#x>     <http://infomesh.net/2001/orexample/#y> <http://infomesh.net/2001/orexample/#z> .
            
            }     :implies {{
                <http://infomesh.net/2001/orexample/#x>     <http://infomesh.net/2001/orexample/#y> <http://infomesh.net/2001/orexample/#z> .
                
                }     a :Truth .
            {
                <http://infomesh.net/2001/orexample/#a>     <http://infomesh.net/2001/orexample/#b> <http://infomesh.net/2001/orexample/#c> .
                
                }     a :Falsehood .
            } .
        
        }     a :Truth;
         :forAll <http://infomesh.net/2001/orexample/#a>,
                <http://infomesh.net/2001/orexample/#b>,
                <http://infomesh.net/2001/orexample/#c>,
                <http://infomesh.net/2001/orexample/#x>,
                <http://infomesh.net/2001/orexample/#y>,
                <http://infomesh.net/2001/orexample/#z> .
    {
        <http://infomesh.net/2001/orexample/#Joe>     <http://infomesh.net/2001/orexample/#loves> <http://infomesh.net/2001/orexample/#TheSimpsons> .
        
        }     a :Falsehood .
    {
        <http://infomesh.net/2001/orexample/#Joe>     <http://infomesh.net/2001/orexample/#loves> <http://infomesh.net/2001/orexample/#TheSimpsons> .
        
        }     a :Truth .
    {
        <http://infomesh.net/2001/orexample/#Joe>     <http://infomesh.net/2001/orexample/#is> <http://infomesh.net/2001/orexample/#Nuts> .
        
        }     a :Falsehood .
    {
        <http://infomesh.net/2001/orexample/#Joe>     <http://infomesh.net/2001/orexample/#loves> <http://infomesh.net/2001/orexample/#TheSimpsons> .
        
        }     a :Truth .
    
    <http://infomesh.net/2001/orexample/#Joe>     <http://infomesh.net/2001/orexample/#loves> <http://infomesh.net/2001/orexample/#TheSimpsons> .
    
#ENDS