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

{ { [ a rdf:Statement; 
      rdf:subject :a; 
      rdf:predicate :b; 
      rdf:object :c ] }
log:implies
{ :a :b :c } } a log:Truth; log:forAll :a , :b , :c .