@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 :b :c } :d :e } log:implies { [ a rdf:Statement; rdf:subject :a; 
rdf:predicate :b; rdf:object :c ] :d :e } } log:forAll :a , :b , :c , :d , :e .