bind log: <http://www.w3.org/2000/10/swap/log.n3> .
bind rules: <coinedequals.n3> .

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

{ <#x> rules:coinedBy <#y> . <#z> = <#x> . <#q> = <#z> } 
   log:implies 
{ <#y> rules:coined <#x> . <#y> rules:coined <#z> . <#y> rules:coined <#q> . } .