@prefix : <#> .
@prefix n3: <http://www.w3.org/2000/10/swap/model.n3#> .
@prefix log: <http://www.w3.org/2000/10/swap/log.n3#> .

<> log:forAll :x , :y , :z .

{ :x :y :z } log:implies { [ a n3:Statement; 
                             n3:subject :x; 
                             n3:predicate :y; 
                             n3:object :z ] } .