@prefix : <reason/t6.n3#> .
    @prefix fo: <#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix math: <http://www.w3.org/2000/10/swap/math#> .
    @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 fo:_g0;
                 pr:gives {:joe     :height "1.6" .
                } ],
                     [
                 a pr:Extraction;
                 pr:because fo:_g0;
                 pr:gives { @forAll :h,
                            :x .
                {
                    :h     math:greaterThan "1.3" .
                    :x     :friend :kev;
                         :height :h .
                    
                    }     log:implies {:x     a :player .
                    } .
                } ],
                     [
                 a pr:Extraction;
                 pr:because  [
                     a pr:Inference;
                     pr:binding  [
                         pr:boundTo  [
                             n3:uri "http://example.com/swap/test/reason/t6.n3#joe" ];
                         pr:variable  [
                             n3:uri "http://example.com/swap/test/reason/t6.n3#x" ] ],
                             [
                         pr:boundTo "1.6";
                         pr:variable  [
                             n3:uri "http://example.com/swap/test/reason/t6.n3#h" ] ];
                     pr:evidence  (
                     [
                             a pr:Extraction;
                             pr:because fo:_g0;
                             pr:gives {:joe     :height "1.6" .
                            } ]
                     [
                             a pr:Fact;
                             pr:gives {"1.6"     math:greaterThan "1.3" .
                            } ]
                     [
                             a pr:Extraction;
                             pr:because fo:_g0;
                             pr:gives {:joe     :friend :kev .
                            } ] );
                     pr:rule  [
                         a pr:Extraction;
                         pr:because fo:_g0;
                         pr:gives { @forAll :h,
                                    :x .
                        {
                            :h     math:greaterThan "1.3" .
                            :x     :friend :kev;
                                 :height :h .
                            
                            }     log:implies {:x     a :player .
                            } .
                        } ] ];
                 pr:gives {:joe     a :player .
                } ],
                     [
                 a pr:Extraction;
                 pr:because fo:_g0;
                 pr:gives {:joe     :friend :kev .
                } ];
             pr:gives { @forAll :h,
                        :x .
            :joe     a :player;
                 :friend :kev;
                 :height "1.6" .
            {
                :h     math:greaterThan "1.3" .
                :x     :friend :kev;
                     :height :h .
                
                }     log:implies {:x     a :player .
                } .
            } ].
    
    fo:_g0     a pr:Parsing;
         pr:because  [
             a pr:CommandLine;
             pr:args "['../cwm.py', '--quiet', 'reason/t6.n3', '--think', '--base=foo', '--why']" ];
         pr:source <reason/t6.n3> .