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