@prefix : <foo#> .
     @prefix daml: <http://www.daml.org/2000/10/daml-ont#> .
     @prefix dpo: <http://www.daml.org/2001/03/daml+oil#> .
     @prefix ex: <http://www.daml.org/2000/10/daml-ex#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
     @prefix s: <http://www.w3.org/2000/01/rdf-schema#> .
    
    :testg_1     a :success .
    {
        @forAll :y .
        :x     :loves :y .
        
        }     log:implies {{
            @forSome :z .
            :x     :hates :z .
            
            }     a log:falsehood .
        } .
    {
        <>     log:semantics  [
                 log:notIncludes {{
                    @forAll :y .
                    :x     :loves :y .
                    
                    }     log:implies {{
                        @forSome :z .
                        :x     :hates :z .
                        
                        }     a log:falsehood .
                    } .
                } ] .
        
        }     log:implies {:testg_1     a :FAILURE .
        } .
    {
        <>     log:semantics  [
                 log:includes {{
                    @forAll :y .
                    :x     :loves :y .
                    
                    }     log:implies {{
                        @forSome :z .
                        :x     :hates :z .
                        
                        }     a log:falsehood .
                    } .
                } ] .
        
        }     log:implies {:testg_1     a :success .
        } .