@prefix : <file:/devel/WWW/2000/10/swap/test/reason/t5.n3#> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    
     @forAll :x,
                :y .
    
    :a     :b :c .
    
    :c     :b <file:/devel/WWW/2000/10/swap/test/reason/c2> .
    {
        :a     :y :x .
        
        }     log:implies {:x     :y <file:/devel/WWW/2000/10/swap/test/reason/c2> .
        } .