@prefix : <http://example.com/swap/test/reason/t8.n3#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    
     @forAll :x.
         @forSome :_g_L2C9 .
    
    <http://example.com/swap/test/reason/a>     <http://example.com/swap/test/reason/b> :_g_L2C9 .
    
    :_g_L2C9     <http://example.com/swap/test/reason/b2> <http://example.com/swap/test/reason/c2> .
    {
        <http://example.com/swap/test/reason/a>     <http://example.com/swap/test/reason/b> :x .
        
        }     log:implies {:x     <http://example.com/swap/test/reason/b2> <http://example.com/swap/test/reason/c2> .
        } .