@prefix : <#> .
@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix earl: <http://www.w3.org/2001/03/earl/0.95#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

this log:forAll :p , :q , :r , :s , :x , :y .

{ :p earl:asserts [ rdf:subject :x; 
   rdf:predicate earl:passes; rdf:object :y ] .
  :r earl:asserts [ rdf:subject :x; 
   rdf:predicate earl:fails; rdf:object :y ] } 
   log:implies { :p :doesNotAgreeWith 
     [ :assertor :r; :about :x; :withRespectTo :y ] } .