@prefix : <http://example.com/swap/test/supports/simple.n3#> .
    @prefix log: <http://www.w3.org/2000/10/swap/log#> .
    @prefix pr: <http://www.w3.org/2000/10/swap/reason#> .
    
     @forSome <#_g0>,
                <#_g1>,
                <#_g2> .
      [      a pr:Conjunction,
                    pr:Proof;
             pr:component <#_g0>,
                     [
                 a pr:Inference;
                 pr:evidence  (
                <#_g1>
                <#_g1>
                <#_g1> );
                 pr:rule  [
                     a pr:Extraction;
                     pr:because <#_g0>;
                     pr:gives {{
                        {
                            :a     :b :c .
                            :r     :e :g .
                            {
                                :a     :b :c .
                                
                                }     log:implies {:d     :e :f .
                                } .
                            
                            }     log:supports {:a     :b :c .
                            :d     :e :f .
                            } .
                        
                        }     log:implies {:Q     :Q :Q .
                        } .
                    } ] ];
             pr:gives { @forAll :X .
            :Q     :Q :Q .
            {
                {
                    :a     :b :c .
                    :r     :e :g .
                    {
                        :a     :b :c .
                        
                        }     log:implies {:d     :e :f .
                        } .
                    
                    }     log:supports {:a     :b :c .
                    :d     :e :f .
                    } .
                
                }     log:implies {:Q     :Q :Q .
                } .
            } ].
    
    <#_g0>     a pr:Parsing;
         pr:because  [
             a pr:CommandLine;
             pr:args "['../cwm.py', '--quiet', 'supports/simple.n3', '--think', '--why', '--base=foo:']" ];
         pr:source <http://example.com/swap/test/supports/simple.n3> .
    
    <#_g1>     a pr:Conclusion;
         pr:because  [
             a pr:Conjunction;
             pr:component <#_g2>,
                     [
                 a pr:Inference;
                 pr:evidence  (
                 [
                         a pr:Extraction;
                         pr:because <#_g2>;
                         pr:gives {:a     :b :c .
                        } ] );
                 pr:rule  [
                     a pr:Extraction;
                     pr:because <#_g2>;
                     pr:gives {{
                        :a     :b :c .
                        
                        }     log:implies {:d     :e :f .
                        } .
                    } ] ] ];
         pr:gives {{
            :a     :b :c .
            :r     :e :g .
            {
                :a     :b :c .
                
                }     log:implies {:d     :e :f .
                } .
            
            }     log:supports {:a     :b :c .
            :d     :e :f .
            } .
        } .
    
    <#_g2>     a pr:Premise;
         pr:gives {:a     :b :c .
        :r     :e :g .
        {
            :a     :b :c .
            
            }     log:implies {:d     :e :f .
            } .
        };
         pr:text "Assumption of builtin" .