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

{ { :x rdfs:subClassOf :y .
    [ rdf:predicate :z; 
      rdf:object :TestCase ]
    :z earl:validity earl:Pass .
    :TestCase earl:id :x }
log:implies
{ :TestCase 
     earl:id :y } } a log:Truth; log:forAll :x , :y , :z .

{ { :x rdfs:subClassOf :y .
    [ rdf:predicate :z; 
      rdf:object :TestCase ]
    :z earl:validity earl:Fail .
    :TestCase earl:id :y }
log:implies
{ :TestCase 
     earl:id :x } } a log:Truth; log:forAll :x , :y , :z .