@prefix : <reason/t5.n3#> .
    @prefix fo: <#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix n3: <http://www.w3.org/2004/06/rei#> .
    @prefix pr: <http://www.w3.org/2000/10/swap/reason#> .
    
     @forSome fo:_g0 .
      [      a pr:Conjunction,
                    pr:Proof;
             pr:component  [
                 a pr:Extraction;
                 pr:because  [
                     a pr:Inference;
                     pr:binding  [
                         pr:boundTo  [
                             n3:uri "http://example.com/swap/test/reason/t5.n3#b" ];
                         pr:variable  [
                             n3:uri "http://example.com/swap/test/reason/t5.n3#y" ] ],
                             [
                         pr:boundTo  [
                             n3:uri "http://example.com/swap/test/reason/t5.n3#c" ];
                         pr:variable  [
                             n3:uri "http://example.com/swap/test/reason/t5.n3#x" ] ];
                     pr:evidence  (
                     [
                             a pr:Extraction;
                             pr:because fo:_g0;
                             pr:gives {:a     :b :c .
                            } ] );
                     pr:rule  [
                         a pr:Extraction;
                         pr:because fo:_g0;
                         pr:gives { @forAll :x,
                                    :y .
                        {
                            :a     :y :x .
                            
                            }     log:implies {:x     :y <reason/c2> .
                            } .
                        } ] ];
                 pr:gives {:c     :b <reason/c2> .
                } ],
                     [
                 a pr:Extraction;
                 pr:because fo:_g0;
                 pr:gives { @forAll :x,
                            :y .
                {
                    :a     :y :x .
                    
                    }     log:implies {:x     :y <reason/c2> .
                    } .
                } ],
                     [
                 a pr:Extraction;
                 pr:because fo:_g0;
                 pr:gives {:a     :b :c .
                } ];
             pr:gives { @forAll :x,
                        :y .
            :a     :b :c .
            :c     :b <reason/c2> .
            {
                :a     :y :x .
                
                }     log:implies {:x     :y <reason/c2> .
                } .
            } ].
    
    fo:_g0     a pr:Parsing;
         pr:because  [
             a pr:CommandLine;
             pr:args "['../cwm.py', '--quiet', 'reason/t5.n3', '--think', '--base=foo', '--why']" ];
         pr:source <reason/t5.n3> .