#Processed by EYE v20.1020.2137 josd
#eye --no-genid --wcache http://josd.github.io/eye/reasoning/mq . --turtle http://josd.github.io/eye/reasoning/mq/data.n3 --multi-query

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.027 [sec] mq=1 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma1>;
  r:component <#lemma2>;
  r:component <#lemma3>;
  r:gives {
    :i1479 :j :i6624.
    :i7333 :j :i779.
    :i5296 :j :i2755.
  }.

<#lemma1> a r:Inference;
  r:gives {
    :i1479 :j :i6624.
  };
  r:evidence (
    <#lemma4>
    <#lemma5>
    <#lemma6>
    <#lemma7>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1479"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i147"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5592"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i779"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6624"]];
  r:rule <#lemma8>.

<#lemma2> a r:Inference;
  r:gives {
    :i7333 :j :i779.
  };
  r:evidence (
    <#lemma9>
    <#lemma4>
    <#lemma5>
    <#lemma6>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7333"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1479"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i147"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5592"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i779"]];
  r:rule <#lemma8>.

<#lemma3> a r:Inference;
  r:gives {
    :i5296 :j :i2755.
  };
  r:evidence (
    <#lemma10>
    <#lemma11>
    <#lemma12>
    <#lemma13>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5296"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2738"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7288"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1839"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2755"]];
  r:rule <#lemma8>.

<#lemma4> a r:Extraction;
  r:gives {
    :i1479 :i3069 :i147.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma5> a r:Extraction;
  r:gives {
    :i147 :i3069 :i5592.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma6> a r:Extraction;
  r:gives {
    :i5592 :i3069 :i779.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma7> a r:Extraction;
  r:gives {
    :i779 :i3069 :i6624.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma8> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i3069 var:x_1.
     var:x_1 :i3069 var:x_2.
     var:x_2 :i3069 var:x_3.
     var:x_3 :i3069 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query2.n3>].

<#lemma9> a r:Extraction;
  r:gives {
    :i7333 :i3069 :i1479.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma10> a r:Extraction;
  r:gives {
    :i5296 :i3069 :i2738.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma11> a r:Extraction;
  r:gives {
    :i2738 :i3069 :i7288.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma12> a r:Extraction;
  r:gives {
    :i7288 :i3069 :i1839.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma13> a r:Extraction;
  r:gives {
    :i1839 :i3069 :i2755.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.007 [sec] mq=2 out=3 out/sec=429

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=3 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma14>;
  r:gives {
    :i7510 :j :i8193.
  }.

<#lemma14> a r:Inference;
  r:gives {
    :i7510 :j :i8193.
  };
  r:evidence (
    <#lemma15>
    <#lemma16>
    <#lemma17>
    <#lemma18>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7510"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5615"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8510"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1565"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8193"]];
  r:rule <#lemma19>.

<#lemma15> a r:Extraction;
  r:gives {
    :i7510 :i990 :i5615.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma16> a r:Extraction;
  r:gives {
    :i5615 :i990 :i8510.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma17> a r:Extraction;
  r:gives {
    :i8510 :i990 :i1565.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma18> a r:Extraction;
  r:gives {
    :i1565 :i990 :i8193.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma19> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i990 var:x_1.
     var:x_1 :i990 var:x_2.
     var:x_2 :i990 var:x_3.
     var:x_3 :i990 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query4.n3>].

#DONE 0.004 [sec] mq=4 out=1 out/sec=250

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma20>;
  r:component <#lemma21>;
  r:component <#lemma22>;
  r:component <#lemma23>;
  r:gives {
    :i2225 :j :i6025.
    :i2225 :j :i7628.
    :i3088 :j :i6025.
    :i3088 :j :i7628.
  }.

<#lemma20> a r:Inference;
  r:gives {
    :i2225 :j :i6025.
  };
  r:evidence (
    <#lemma24>
    <#lemma25>
    <#lemma26>
    <#lemma27>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2225"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5421"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9387"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9169"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6025"]];
  r:rule <#lemma28>.

<#lemma21> a r:Inference;
  r:gives {
    :i2225 :j :i7628.
  };
  r:evidence (
    <#lemma24>
    <#lemma25>
    <#lemma26>
    <#lemma29>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2225"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5421"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9387"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9169"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7628"]];
  r:rule <#lemma28>.

<#lemma22> a r:Inference;
  r:gives {
    :i3088 :j :i6025.
  };
  r:evidence (
    <#lemma30>
    <#lemma31>
    <#lemma32>
    <#lemma27>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3088"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1452"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i884"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9169"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6025"]];
  r:rule <#lemma28>.

<#lemma23> a r:Inference;
  r:gives {
    :i3088 :j :i7628.
  };
  r:evidence (
    <#lemma30>
    <#lemma31>
    <#lemma32>
    <#lemma29>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3088"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1452"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i884"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9169"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7628"]];
  r:rule <#lemma28>.

<#lemma24> a r:Extraction;
  r:gives {
    :i2225 :i1188 :i5421.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma25> a r:Extraction;
  r:gives {
    :i5421 :i1188 :i9387.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma26> a r:Extraction;
  r:gives {
    :i9387 :i1188 :i9169.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma27> a r:Extraction;
  r:gives {
    :i9169 :i1188 :i6025.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma28> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i1188 var:x_1.
     var:x_1 :i1188 var:x_2.
     var:x_2 :i1188 var:x_3.
     var:x_3 :i1188 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query5.n3>].

<#lemma29> a r:Extraction;
  r:gives {
    :i9169 :i1188 :i7628.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma30> a r:Extraction;
  r:gives {
    :i3088 :i1188 :i1452.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma31> a r:Extraction;
  r:gives {
    :i1452 :i1188 :i884.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma32> a r:Extraction;
  r:gives {
    :i884 :i1188 :i9169.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.007 [sec] mq=5 out=4 out/sec=571

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.004 [sec] mq=6 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma33>;
  r:component <#lemma34>;
  r:gives {
    :i5653 :j :i6733.
    :i331 :j :i902.
  }.

<#lemma33> a r:Inference;
  r:gives {
    :i5653 :j :i6733.
  };
  r:evidence (
    <#lemma35>
    <#lemma36>
    <#lemma37>
    <#lemma38>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5653"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9525"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9311"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8117"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6733"]];
  r:rule <#lemma39>.

<#lemma34> a r:Inference;
  r:gives {
    :i331 :j :i902.
  };
  r:evidence (
    <#lemma40>
    <#lemma41>
    <#lemma42>
    <#lemma43>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i331"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i115"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3551"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2219"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i902"]];
  r:rule <#lemma39>.

<#lemma35> a r:Extraction;
  r:gives {
    :i5653 :i2574 :i9525.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma36> a r:Extraction;
  r:gives {
    :i9525 :i2574 :i9311.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma37> a r:Extraction;
  r:gives {
    :i9311 :i2574 :i8117.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma38> a r:Extraction;
  r:gives {
    :i8117 :i2574 :i6733.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma39> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i2574 var:x_1.
     var:x_1 :i2574 var:x_2.
     var:x_2 :i2574 var:x_3.
     var:x_3 :i2574 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query7.n3>].

<#lemma40> a r:Extraction;
  r:gives {
    :i331 :i2574 :i115.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma41> a r:Extraction;
  r:gives {
    :i115 :i2574 :i3551.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma42> a r:Extraction;
  r:gives {
    :i3551 :i2574 :i2219.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma43> a r:Extraction;
  r:gives {
    :i2219 :i2574 :i902.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.005 [sec] mq=7 out=2 out/sec=400

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma44>;
  r:gives {
    :i8430 :j :i600.
  }.

<#lemma44> a r:Inference;
  r:gives {
    :i8430 :j :i600.
  };
  r:evidence (
    <#lemma45>
    <#lemma46>
    <#lemma47>
    <#lemma48>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8430"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4773"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1782"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6944"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i600"]];
  r:rule <#lemma49>.

<#lemma45> a r:Extraction;
  r:gives {
    :i8430 :i5644 :i4773.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma46> a r:Extraction;
  r:gives {
    :i4773 :i5644 :i1782.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma47> a r:Extraction;
  r:gives {
    :i1782 :i5644 :i6944.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma48> a r:Extraction;
  r:gives {
    :i6944 :i5644 :i600.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma49> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i5644 var:x_1.
     var:x_1 :i5644 var:x_2.
     var:x_2 :i5644 var:x_3.
     var:x_3 :i5644 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query8.n3>].

#DONE 0.006 [sec] mq=8 out=1 out/sec=167

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma50>;
  r:gives {
    :i7749 :j :i8958.
  }.

<#lemma50> a r:Inference;
  r:gives {
    :i7749 :j :i8958.
  };
  r:evidence (
    <#lemma51>
    <#lemma52>
    <#lemma53>
    <#lemma54>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7749"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2110"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5254"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4872"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8958"]];
  r:rule <#lemma55>.

<#lemma51> a r:Extraction;
  r:gives {
    :i7749 :i7525 :i2110.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma52> a r:Extraction;
  r:gives {
    :i2110 :i7525 :i5254.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma53> a r:Extraction;
  r:gives {
    :i5254 :i7525 :i4872.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma54> a r:Extraction;
  r:gives {
    :i4872 :i7525 :i8958.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma55> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i7525 var:x_1.
     var:x_1 :i7525 var:x_2.
     var:x_2 :i7525 var:x_3.
     var:x_3 :i7525 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query9.n3>].

#DONE 0.005 [sec] mq=9 out=1 out/sec=200

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma56>;
  r:component <#lemma57>;
  r:component <#lemma58>;
  r:gives {
    :i396 :j :i5654.
    :i55 :j :i6819.
    :i4185 :j :i6867.
  }.

<#lemma56> a r:Inference;
  r:gives {
    :i396 :j :i5654.
  };
  r:evidence (
    <#lemma59>
    <#lemma60>
    <#lemma61>
    <#lemma62>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i396"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4479"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6652"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6867"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5654"]];
  r:rule <#lemma63>.

<#lemma57> a r:Inference;
  r:gives {
    :i55 :j :i6819.
  };
  r:evidence (
    <#lemma64>
    <#lemma65>
    <#lemma66>
    <#lemma67>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i55"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7460"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8071"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3049"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6819"]];
  r:rule <#lemma63>.

<#lemma58> a r:Inference;
  r:gives {
    :i4185 :j :i6867.
  };
  r:evidence (
    <#lemma68>
    <#lemma59>
    <#lemma60>
    <#lemma61>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4185"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i396"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4479"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6652"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6867"]];
  r:rule <#lemma63>.

<#lemma59> a r:Extraction;
  r:gives {
    :i396 :i4356 :i4479.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma60> a r:Extraction;
  r:gives {
    :i4479 :i4356 :i6652.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma61> a r:Extraction;
  r:gives {
    :i6652 :i4356 :i6867.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma62> a r:Extraction;
  r:gives {
    :i6867 :i4356 :i5654.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma63> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i4356 var:x_1.
     var:x_1 :i4356 var:x_2.
     var:x_2 :i4356 var:x_3.
     var:x_3 :i4356 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query10.n3>].

<#lemma64> a r:Extraction;
  r:gives {
    :i55 :i4356 :i7460.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma65> a r:Extraction;
  r:gives {
    :i7460 :i4356 :i8071.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma66> a r:Extraction;
  r:gives {
    :i8071 :i4356 :i3049.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma67> a r:Extraction;
  r:gives {
    :i3049 :i4356 :i6819.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma68> a r:Extraction;
  r:gives {
    :i4185 :i4356 :i396.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.004 [sec] mq=10 out=3 out/sec=750

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.004 [sec] mq=11 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=12 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.005 [sec] mq=13 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=14 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma69>;
  r:gives {
    :i5851 :j :i4605.
  }.

<#lemma69> a r:Inference;
  r:gives {
    :i5851 :j :i4605.
  };
  r:evidence (
    <#lemma70>
    <#lemma71>
    <#lemma72>
    <#lemma73>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5851"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5758"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5236"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7267"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4605"]];
  r:rule <#lemma74>.

<#lemma70> a r:Extraction;
  r:gives {
    :i5851 :i6733 :i5758.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma71> a r:Extraction;
  r:gives {
    :i5758 :i6733 :i5236.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma72> a r:Extraction;
  r:gives {
    :i5236 :i6733 :i7267.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma73> a r:Extraction;
  r:gives {
    :i7267 :i6733 :i4605.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma74> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i6733 var:x_1.
     var:x_1 :i6733 var:x_2.
     var:x_2 :i6733 var:x_3.
     var:x_3 :i6733 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query15.n3>].

#DONE 0.005 [sec] mq=15 out=1 out/sec=200

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma75>;
  r:gives {
    :i5851 :j :i4605.
  }.

<#lemma75> a r:Inference;
  r:gives {
    :i5851 :j :i4605.
  };
  r:evidence (
    <#lemma76>
    <#lemma77>
    <#lemma78>
    <#lemma79>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5851"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5758"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5236"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7267"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4605"]];
  r:rule <#lemma80>.

<#lemma76> a r:Extraction;
  r:gives {
    :i5851 :i6733 :i5758.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma77> a r:Extraction;
  r:gives {
    :i5758 :i6733 :i5236.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma78> a r:Extraction;
  r:gives {
    :i5236 :i6733 :i7267.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma79> a r:Extraction;
  r:gives {
    :i7267 :i6733 :i4605.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma80> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i6733 var:x_1.
     var:x_1 :i6733 var:x_2.
     var:x_2 :i6733 var:x_3.
     var:x_3 :i6733 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query16.n3>].

#DONE 0.007 [sec] mq=16 out=1 out/sec=143

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma81>;
  r:gives {
    :i6439 :j :i6654.
  }.

<#lemma81> a r:Inference;
  r:gives {
    :i6439 :j :i6654.
  };
  r:evidence (
    <#lemma82>
    <#lemma83>
    <#lemma84>
    <#lemma85>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6439"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5843"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6146"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5255"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6654"]];
  r:rule <#lemma86>.

<#lemma82> a r:Extraction;
  r:gives {
    :i6439 :i2178 :i5843.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma83> a r:Extraction;
  r:gives {
    :i5843 :i2178 :i6146.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma84> a r:Extraction;
  r:gives {
    :i6146 :i2178 :i5255.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma85> a r:Extraction;
  r:gives {
    :i5255 :i2178 :i6654.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma86> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i2178 var:x_1.
     var:x_1 :i2178 var:x_2.
     var:x_2 :i2178 var:x_3.
     var:x_3 :i2178 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query17.n3>].

#DONE 0.003 [sec] mq=17 out=1 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=18 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma87>;
  r:gives {
    :i7749 :j :i8958.
  }.

<#lemma87> a r:Inference;
  r:gives {
    :i7749 :j :i8958.
  };
  r:evidence (
    <#lemma88>
    <#lemma89>
    <#lemma90>
    <#lemma91>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7749"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2110"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5254"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4872"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8958"]];
  r:rule <#lemma92>.

<#lemma88> a r:Extraction;
  r:gives {
    :i7749 :i7525 :i2110.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma89> a r:Extraction;
  r:gives {
    :i2110 :i7525 :i5254.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma90> a r:Extraction;
  r:gives {
    :i5254 :i7525 :i4872.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma91> a r:Extraction;
  r:gives {
    :i4872 :i7525 :i8958.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma92> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i7525 var:x_1.
     var:x_1 :i7525 var:x_2.
     var:x_2 :i7525 var:x_3.
     var:x_3 :i7525 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query19.n3>].

#DONE 0.003 [sec] mq=19 out=1 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.004 [sec] mq=20 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma93>;
  r:gives {
    :i7202 :j :i9456.
  }.

<#lemma93> a r:Inference;
  r:gives {
    :i7202 :j :i9456.
  };
  r:evidence (
    <#lemma94>
    <#lemma95>
    <#lemma96>
    <#lemma97>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7202"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7212"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4213"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i423"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9456"]];
  r:rule <#lemma98>.

<#lemma94> a r:Extraction;
  r:gives {
    :i7202 :i9208 :i7212.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma95> a r:Extraction;
  r:gives {
    :i7212 :i9208 :i4213.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma96> a r:Extraction;
  r:gives {
    :i4213 :i9208 :i423.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma97> a r:Extraction;
  r:gives {
    :i423 :i9208 :i9456.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma98> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i9208 var:x_1.
     var:x_1 :i9208 var:x_2.
     var:x_2 :i9208 var:x_3.
     var:x_3 :i9208 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query21.n3>].

#DONE 0.004 [sec] mq=21 out=1 out/sec=250

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma99>;
  r:component <#lemma100>;
  r:component <#lemma101>;
  r:gives {
    :i5434 :j :i2060.
    :i3133 :j :i4098.
    :i2760 :j :i685.
  }.

<#lemma99> a r:Inference;
  r:gives {
    :i5434 :j :i2060.
  };
  r:evidence (
    <#lemma102>
    <#lemma103>
    <#lemma104>
    <#lemma105>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5434"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i558"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5393"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i644"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2060"]];
  r:rule <#lemma106>.

<#lemma100> a r:Inference;
  r:gives {
    :i3133 :j :i4098.
  };
  r:evidence (
    <#lemma107>
    <#lemma108>
    <#lemma109>
    <#lemma110>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3133"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7433"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7261"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6083"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4098"]];
  r:rule <#lemma106>.

<#lemma101> a r:Inference;
  r:gives {
    :i2760 :j :i685.
  };
  r:evidence (
    <#lemma111>
    <#lemma112>
    <#lemma113>
    <#lemma114>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2760"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7169"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8700"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i264"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i685"]];
  r:rule <#lemma106>.

<#lemma102> a r:Extraction;
  r:gives {
    :i5434 :i4950 :i558.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma103> a r:Extraction;
  r:gives {
    :i558 :i4950 :i5393.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma104> a r:Extraction;
  r:gives {
    :i5393 :i4950 :i644.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma105> a r:Extraction;
  r:gives {
    :i644 :i4950 :i2060.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma106> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i4950 var:x_1.
     var:x_1 :i4950 var:x_2.
     var:x_2 :i4950 var:x_3.
     var:x_3 :i4950 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query22.n3>].

<#lemma107> a r:Extraction;
  r:gives {
    :i3133 :i4950 :i7433.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma108> a r:Extraction;
  r:gives {
    :i7433 :i4950 :i7261.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma109> a r:Extraction;
  r:gives {
    :i7261 :i4950 :i6083.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma110> a r:Extraction;
  r:gives {
    :i6083 :i4950 :i4098.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma111> a r:Extraction;
  r:gives {
    :i2760 :i4950 :i7169.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma112> a r:Extraction;
  r:gives {
    :i7169 :i4950 :i8700.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma113> a r:Extraction;
  r:gives {
    :i8700 :i4950 :i264.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma114> a r:Extraction;
  r:gives {
    :i264 :i4950 :i685.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.004 [sec] mq=22 out=3 out/sec=750

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma115>;
  r:component <#lemma116>;
  r:component <#lemma117>;
  r:gives {
    :i3568 :j :i3568.
    :i6500 :j :i2645.
    :i4131 :j :i2743.
  }.

<#lemma115> a r:Inference;
  r:gives {
    :i3568 :j :i3568.
  };
  r:evidence (
    <#lemma118>
    <#lemma118>
    <#lemma118>
    <#lemma118>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3568"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3568"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3568"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3568"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3568"]];
  r:rule <#lemma119>.

<#lemma116> a r:Inference;
  r:gives {
    :i6500 :j :i2645.
  };
  r:evidence (
    <#lemma120>
    <#lemma121>
    <#lemma122>
    <#lemma123>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6500"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4586"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4513"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2743"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2645"]];
  r:rule <#lemma119>.

<#lemma117> a r:Inference;
  r:gives {
    :i4131 :j :i2743.
  };
  r:evidence (
    <#lemma124>
    <#lemma120>
    <#lemma121>
    <#lemma122>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4131"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6500"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4586"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4513"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2743"]];
  r:rule <#lemma119>.

<#lemma118> a r:Extraction;
  r:gives {
    :i3568 :i1287 :i3568.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma119> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i1287 var:x_1.
     var:x_1 :i1287 var:x_2.
     var:x_2 :i1287 var:x_3.
     var:x_3 :i1287 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query23.n3>].

<#lemma120> a r:Extraction;
  r:gives {
    :i6500 :i1287 :i4586.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma121> a r:Extraction;
  r:gives {
    :i4586 :i1287 :i4513.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma122> a r:Extraction;
  r:gives {
    :i4513 :i1287 :i2743.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma123> a r:Extraction;
  r:gives {
    :i2743 :i1287 :i2645.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma124> a r:Extraction;
  r:gives {
    :i4131 :i1287 :i6500.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.007 [sec] mq=23 out=3 out/sec=429

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma125>;
  r:gives {
    :i7202 :j :i9456.
  }.

<#lemma125> a r:Inference;
  r:gives {
    :i7202 :j :i9456.
  };
  r:evidence (
    <#lemma126>
    <#lemma127>
    <#lemma128>
    <#lemma129>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7202"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7212"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4213"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i423"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9456"]];
  r:rule <#lemma130>.

<#lemma126> a r:Extraction;
  r:gives {
    :i7202 :i9208 :i7212.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma127> a r:Extraction;
  r:gives {
    :i7212 :i9208 :i4213.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma128> a r:Extraction;
  r:gives {
    :i4213 :i9208 :i423.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma129> a r:Extraction;
  r:gives {
    :i423 :i9208 :i9456.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma130> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i9208 var:x_1.
     var:x_1 :i9208 var:x_2.
     var:x_2 :i9208 var:x_3.
     var:x_3 :i9208 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query24.n3>].

#DONE 0.004 [sec] mq=24 out=1 out/sec=250

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma131>;
  r:gives {
    :i3829 :j :i3829.
  }.

<#lemma131> a r:Inference;
  r:gives {
    :i3829 :j :i3829.
  };
  r:evidence (
    <#lemma132>
    <#lemma132>
    <#lemma132>
    <#lemma132>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3829"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3829"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3829"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3829"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3829"]];
  r:rule <#lemma133>.

<#lemma132> a r:Extraction;
  r:gives {
    :i3829 :i5545 :i3829.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma133> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i5545 var:x_1.
     var:x_1 :i5545 var:x_2.
     var:x_2 :i5545 var:x_3.
     var:x_3 :i5545 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query25.n3>].

#DONE 0.004 [sec] mq=25 out=1 out/sec=250

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma134>;
  r:component <#lemma135>;
  r:component <#lemma136>;
  r:component <#lemma137>;
  r:component <#lemma138>;
  r:gives {
    :i4421 :j :i3249.
    :i3443 :j :i1278.
    :i6147 :j :i1347.
    :i1090 :j :i1278.
    :i7721 :j :i8113.
  }.

<#lemma134> a r:Inference;
  r:gives {
    :i4421 :j :i3249.
  };
  r:evidence (
    <#lemma139>
    <#lemma140>
    <#lemma141>
    <#lemma142>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4421"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5519"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i659"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6140"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3249"]];
  r:rule <#lemma143>.

<#lemma135> a r:Inference;
  r:gives {
    :i3443 :j :i1278.
  };
  r:evidence (
    <#lemma144>
    <#lemma145>
    <#lemma146>
    <#lemma147>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3443"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6657"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4637"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8113"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1278"]];
  r:rule <#lemma143>.

<#lemma136> a r:Inference;
  r:gives {
    :i6147 :j :i1347.
  };
  r:evidence (
    <#lemma148>
    <#lemma149>
    <#lemma150>
    <#lemma151>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6147"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1781"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9242"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6756"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1347"]];
  r:rule <#lemma143>.

<#lemma137> a r:Inference;
  r:gives {
    :i1090 :j :i1278.
  };
  r:evidence (
    <#lemma152>
    <#lemma145>
    <#lemma146>
    <#lemma147>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1090"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6657"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4637"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8113"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1278"]];
  r:rule <#lemma143>.

<#lemma138> a r:Inference;
  r:gives {
    :i7721 :j :i8113.
  };
  r:evidence (
    <#lemma153>
    <#lemma144>
    <#lemma145>
    <#lemma146>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7721"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3443"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6657"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4637"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8113"]];
  r:rule <#lemma143>.

<#lemma139> a r:Extraction;
  r:gives {
    :i4421 :i5248 :i5519.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma140> a r:Extraction;
  r:gives {
    :i5519 :i5248 :i659.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma141> a r:Extraction;
  r:gives {
    :i659 :i5248 :i6140.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma142> a r:Extraction;
  r:gives {
    :i6140 :i5248 :i3249.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma143> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i5248 var:x_1.
     var:x_1 :i5248 var:x_2.
     var:x_2 :i5248 var:x_3.
     var:x_3 :i5248 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query26.n3>].

<#lemma144> a r:Extraction;
  r:gives {
    :i3443 :i5248 :i6657.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma145> a r:Extraction;
  r:gives {
    :i6657 :i5248 :i4637.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma146> a r:Extraction;
  r:gives {
    :i4637 :i5248 :i8113.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma147> a r:Extraction;
  r:gives {
    :i8113 :i5248 :i1278.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma148> a r:Extraction;
  r:gives {
    :i6147 :i5248 :i1781.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma149> a r:Extraction;
  r:gives {
    :i1781 :i5248 :i9242.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma150> a r:Extraction;
  r:gives {
    :i9242 :i5248 :i6756.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma151> a r:Extraction;
  r:gives {
    :i6756 :i5248 :i1347.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma152> a r:Extraction;
  r:gives {
    :i1090 :i5248 :i6657.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma153> a r:Extraction;
  r:gives {
    :i7721 :i5248 :i3443.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.009 [sec] mq=26 out=5 out/sec=556

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=27 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma154>;
  r:gives {
    :i7510 :j :i8193.
  }.

<#lemma154> a r:Inference;
  r:gives {
    :i7510 :j :i8193.
  };
  r:evidence (
    <#lemma155>
    <#lemma156>
    <#lemma157>
    <#lemma158>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7510"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5615"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8510"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1565"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8193"]];
  r:rule <#lemma159>.

<#lemma155> a r:Extraction;
  r:gives {
    :i7510 :i990 :i5615.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma156> a r:Extraction;
  r:gives {
    :i5615 :i990 :i8510.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma157> a r:Extraction;
  r:gives {
    :i8510 :i990 :i1565.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma158> a r:Extraction;
  r:gives {
    :i1565 :i990 :i8193.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma159> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i990 var:x_1.
     var:x_1 :i990 var:x_2.
     var:x_2 :i990 var:x_3.
     var:x_3 :i990 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query28.n3>].

#DONE 0.003 [sec] mq=28 out=1 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=29 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.004 [sec] mq=30 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.004 [sec] mq=31 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma160>;
  r:gives {
    :i6872 :j :i3299.
  }.

<#lemma160> a r:Inference;
  r:gives {
    :i6872 :j :i3299.
  };
  r:evidence (
    <#lemma161>
    <#lemma162>
    <#lemma163>
    <#lemma164>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6872"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3502"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7551"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6462"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3299"]];
  r:rule <#lemma165>.

<#lemma161> a r:Extraction;
  r:gives {
    :i6872 :i6832 :i3502.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma162> a r:Extraction;
  r:gives {
    :i3502 :i6832 :i7551.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma163> a r:Extraction;
  r:gives {
    :i7551 :i6832 :i6462.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma164> a r:Extraction;
  r:gives {
    :i6462 :i6832 :i3299.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma165> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i6832 var:x_1.
     var:x_1 :i6832 var:x_2.
     var:x_2 :i6832 var:x_3.
     var:x_3 :i6832 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query32.n3>].

#DONE 0.003 [sec] mq=32 out=1 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=33 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma166>;
  r:gives {
    :i4770 :j :i7979.
  }.

<#lemma166> a r:Inference;
  r:gives {
    :i4770 :j :i7979.
  };
  r:evidence (
    <#lemma167>
    <#lemma168>
    <#lemma169>
    <#lemma170>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4770"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1065"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5964"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3861"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7979"]];
  r:rule <#lemma171>.

<#lemma167> a r:Extraction;
  r:gives {
    :i4770 :i1485 :i1065.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma168> a r:Extraction;
  r:gives {
    :i1065 :i1485 :i5964.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma169> a r:Extraction;
  r:gives {
    :i5964 :i1485 :i3861.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma170> a r:Extraction;
  r:gives {
    :i3861 :i1485 :i7979.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma171> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i1485 var:x_1.
     var:x_1 :i1485 var:x_2.
     var:x_2 :i1485 var:x_3.
     var:x_3 :i1485 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query34.n3>].

#DONE 0.007 [sec] mq=34 out=1 out/sec=143

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma172>;
  r:gives {
    :i5535 :j :i1158.
  }.

<#lemma172> a r:Inference;
  r:gives {
    :i5535 :j :i1158.
  };
  r:evidence (
    <#lemma173>
    <#lemma174>
    <#lemma175>
    <#lemma176>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5535"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6502"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2203"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7704"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1158"]];
  r:rule <#lemma177>.

<#lemma173> a r:Extraction;
  r:gives {
    :i5535 :i5149 :i6502.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma174> a r:Extraction;
  r:gives {
    :i6502 :i5149 :i2203.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma175> a r:Extraction;
  r:gives {
    :i2203 :i5149 :i7704.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma176> a r:Extraction;
  r:gives {
    :i7704 :i5149 :i1158.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma177> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i5149 var:x_1.
     var:x_1 :i5149 var:x_2.
     var:x_2 :i5149 var:x_3.
     var:x_3 :i5149 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query35.n3>].

#DONE 0.005 [sec] mq=35 out=1 out/sec=200

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=36 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=37 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma178>;
  r:gives {
    :i6251 :j :i5196.
  }.

<#lemma178> a r:Inference;
  r:gives {
    :i6251 :j :i5196.
  };
  r:evidence (
    <#lemma179>
    <#lemma180>
    <#lemma181>
    <#lemma182>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6251"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i485"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5859"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5488"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5196"]];
  r:rule <#lemma183>.

<#lemma179> a r:Extraction;
  r:gives {
    :i6251 :i2772 :i485.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma180> a r:Extraction;
  r:gives {
    :i485 :i2772 :i5859.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma181> a r:Extraction;
  r:gives {
    :i5859 :i2772 :i5488.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma182> a r:Extraction;
  r:gives {
    :i5488 :i2772 :i5196.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma183> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i2772 var:x_1.
     var:x_1 :i2772 var:x_2.
     var:x_2 :i2772 var:x_3.
     var:x_3 :i2772 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query38.n3>].

#DONE 0.003 [sec] mq=38 out=1 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma184>;
  r:gives {
    :i6439 :j :i6654.
  }.

<#lemma184> a r:Inference;
  r:gives {
    :i6439 :j :i6654.
  };
  r:evidence (
    <#lemma185>
    <#lemma186>
    <#lemma187>
    <#lemma188>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6439"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5843"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6146"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5255"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6654"]];
  r:rule <#lemma189>.

<#lemma185> a r:Extraction;
  r:gives {
    :i6439 :i2178 :i5843.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma186> a r:Extraction;
  r:gives {
    :i5843 :i2178 :i6146.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma187> a r:Extraction;
  r:gives {
    :i6146 :i2178 :i5255.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma188> a r:Extraction;
  r:gives {
    :i5255 :i2178 :i6654.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma189> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i2178 var:x_1.
     var:x_1 :i2178 var:x_2.
     var:x_2 :i2178 var:x_3.
     var:x_3 :i2178 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query39.n3>].

#DONE 0.003 [sec] mq=39 out=1 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma190>;
  r:gives {
    :i6528 :j :i5820.
  }.

<#lemma190> a r:Inference;
  r:gives {
    :i6528 :j :i5820.
  };
  r:evidence (
    <#lemma191>
    <#lemma192>
    <#lemma193>
    <#lemma194>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6528"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2798"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5041"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9722"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5820"]];
  r:rule <#lemma195>.

<#lemma191> a r:Extraction;
  r:gives {
    :i6528 :i3267 :i2798.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma192> a r:Extraction;
  r:gives {
    :i2798 :i3267 :i5041.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma193> a r:Extraction;
  r:gives {
    :i5041 :i3267 :i9722.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma194> a r:Extraction;
  r:gives {
    :i9722 :i3267 :i5820.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma195> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i3267 var:x_1.
     var:x_1 :i3267 var:x_2.
     var:x_2 :i3267 var:x_3.
     var:x_3 :i3267 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query40.n3>].

#DONE 0.006 [sec] mq=40 out=1 out/sec=167

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=41 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma196>;
  r:component <#lemma197>;
  r:component <#lemma198>;
  r:component <#lemma199>;
  r:component <#lemma200>;
  r:gives {
    :i2837 :j :i5762.
    :i7710 :j :i605.
    :i524 :j :i3778.
    :i1704 :j :i4000.
    :i6939 :j :i9734.
  }.

<#lemma196> a r:Inference;
  r:gives {
    :i2837 :j :i5762.
  };
  r:evidence (
    <#lemma201>
    <#lemma202>
    <#lemma203>
    <#lemma204>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2837"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6939"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4717"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4589"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5762"]];
  r:rule <#lemma205>.

<#lemma197> a r:Inference;
  r:gives {
    :i7710 :j :i605.
  };
  r:evidence (
    <#lemma206>
    <#lemma207>
    <#lemma208>
    <#lemma209>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7710"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i867"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6335"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3786"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i605"]];
  r:rule <#lemma205>.

<#lemma198> a r:Inference;
  r:gives {
    :i524 :j :i3778.
  };
  r:evidence (
    <#lemma210>
    <#lemma211>
    <#lemma212>
    <#lemma213>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i524"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2556"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i670"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9525"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3778"]];
  r:rule <#lemma205>.

<#lemma199> a r:Inference;
  r:gives {
    :i1704 :j :i4000.
  };
  r:evidence (
    <#lemma214>
    <#lemma215>
    <#lemma216>
    <#lemma217>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1704"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1862"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9813"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7157"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4000"]];
  r:rule <#lemma205>.

<#lemma200> a r:Inference;
  r:gives {
    :i6939 :j :i9734.
  };
  r:evidence (
    <#lemma202>
    <#lemma203>
    <#lemma204>
    <#lemma218>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6939"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4717"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4589"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5762"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9734"]];
  r:rule <#lemma205>.

<#lemma201> a r:Extraction;
  r:gives {
    :i2837 :i1683 :i6939.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma202> a r:Extraction;
  r:gives {
    :i6939 :i1683 :i4717.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma203> a r:Extraction;
  r:gives {
    :i4717 :i1683 :i4589.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma204> a r:Extraction;
  r:gives {
    :i4589 :i1683 :i5762.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma205> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i1683 var:x_1.
     var:x_1 :i1683 var:x_2.
     var:x_2 :i1683 var:x_3.
     var:x_3 :i1683 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query42.n3>].

<#lemma206> a r:Extraction;
  r:gives {
    :i7710 :i1683 :i867.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma207> a r:Extraction;
  r:gives {
    :i867 :i1683 :i6335.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma208> a r:Extraction;
  r:gives {
    :i6335 :i1683 :i3786.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma209> a r:Extraction;
  r:gives {
    :i3786 :i1683 :i605.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma210> a r:Extraction;
  r:gives {
    :i524 :i1683 :i2556.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma211> a r:Extraction;
  r:gives {
    :i2556 :i1683 :i670.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma212> a r:Extraction;
  r:gives {
    :i670 :i1683 :i9525.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma213> a r:Extraction;
  r:gives {
    :i9525 :i1683 :i3778.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma214> a r:Extraction;
  r:gives {
    :i1704 :i1683 :i1862.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma215> a r:Extraction;
  r:gives {
    :i1862 :i1683 :i9813.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma216> a r:Extraction;
  r:gives {
    :i9813 :i1683 :i7157.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma217> a r:Extraction;
  r:gives {
    :i7157 :i1683 :i4000.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma218> a r:Extraction;
  r:gives {
    :i5762 :i1683 :i9734.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.006 [sec] mq=42 out=5 out/sec=833

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma219>;
  r:component <#lemma220>;
  r:component <#lemma221>;
  r:gives {
    :i3991 :j :i4421.
    :i3833 :j :i8900.
    :i3833 :j :i8253.
  }.

<#lemma219> a r:Inference;
  r:gives {
    :i3991 :j :i4421.
  };
  r:evidence (
    <#lemma222>
    <#lemma223>
    <#lemma224>
    <#lemma225>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3991"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5570"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1655"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3996"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4421"]];
  r:rule <#lemma226>.

<#lemma220> a r:Inference;
  r:gives {
    :i3833 :j :i8900.
  };
  r:evidence (
    <#lemma227>
    <#lemma228>
    <#lemma229>
    <#lemma230>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3833"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8065"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9679"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1530"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8900"]];
  r:rule <#lemma226>.

<#lemma221> a r:Inference;
  r:gives {
    :i3833 :j :i8253.
  };
  r:evidence (
    <#lemma227>
    <#lemma228>
    <#lemma231>
    <#lemma232>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3833"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8065"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9679"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1315"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8253"]];
  r:rule <#lemma226>.

<#lemma222> a r:Extraction;
  r:gives {
    :i3991 :i99 :i5570.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma223> a r:Extraction;
  r:gives {
    :i5570 :i99 :i1655.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma224> a r:Extraction;
  r:gives {
    :i1655 :i99 :i3996.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma225> a r:Extraction;
  r:gives {
    :i3996 :i99 :i4421.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma226> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i99 var:x_1.
     var:x_1 :i99 var:x_2.
     var:x_2 :i99 var:x_3.
     var:x_3 :i99 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query43.n3>].

<#lemma227> a r:Extraction;
  r:gives {
    :i3833 :i99 :i8065.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma228> a r:Extraction;
  r:gives {
    :i8065 :i99 :i9679.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma229> a r:Extraction;
  r:gives {
    :i9679 :i99 :i1530.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma230> a r:Extraction;
  r:gives {
    :i1530 :i99 :i8900.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma231> a r:Extraction;
  r:gives {
    :i9679 :i99 :i1315.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma232> a r:Extraction;
  r:gives {
    :i1315 :i99 :i8253.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.007 [sec] mq=43 out=3 out/sec=429

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma233>;
  r:gives {
    :i101 :j :i5858.
  }.

<#lemma233> a r:Inference;
  r:gives {
    :i101 :j :i5858.
  };
  r:evidence (
    <#lemma234>
    <#lemma235>
    <#lemma236>
    <#lemma237>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i101"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9414"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6924"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2887"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5858"]];
  r:rule <#lemma238>.

<#lemma234> a r:Extraction;
  r:gives {
    :i101 :i3663 :i9414.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma235> a r:Extraction;
  r:gives {
    :i9414 :i3663 :i6924.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma236> a r:Extraction;
  r:gives {
    :i6924 :i3663 :i2887.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma237> a r:Extraction;
  r:gives {
    :i2887 :i3663 :i5858.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma238> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i3663 var:x_1.
     var:x_1 :i3663 var:x_2.
     var:x_2 :i3663 var:x_3.
     var:x_3 :i3663 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query44.n3>].

#DONE 0.004 [sec] mq=44 out=1 out/sec=250

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=45 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=46 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=47 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma239>;
  r:gives {
    :i9573 :j :i9573.
  }.

<#lemma239> a r:Inference;
  r:gives {
    :i9573 :j :i9573.
  };
  r:evidence (
    <#lemma240>
    <#lemma240>
    <#lemma240>
    <#lemma240>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:rule <#lemma241>.

<#lemma240> a r:Extraction;
  r:gives {
    :i9573 :i3564 :i9573.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma241> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i3564 var:x_1.
     var:x_1 :i3564 var:x_2.
     var:x_2 :i3564 var:x_3.
     var:x_3 :i3564 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query48.n3>].

#DONE 0.006 [sec] mq=48 out=1 out/sec=167

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=49 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma242>;
  r:component <#lemma243>;
  r:component <#lemma244>;
  r:gives {
    :i5434 :j :i2060.
    :i3133 :j :i4098.
    :i2760 :j :i685.
  }.

<#lemma242> a r:Inference;
  r:gives {
    :i5434 :j :i2060.
  };
  r:evidence (
    <#lemma245>
    <#lemma246>
    <#lemma247>
    <#lemma248>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5434"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i558"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5393"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i644"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2060"]];
  r:rule <#lemma249>.

<#lemma243> a r:Inference;
  r:gives {
    :i3133 :j :i4098.
  };
  r:evidence (
    <#lemma250>
    <#lemma251>
    <#lemma252>
    <#lemma253>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3133"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7433"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7261"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6083"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4098"]];
  r:rule <#lemma249>.

<#lemma244> a r:Inference;
  r:gives {
    :i2760 :j :i685.
  };
  r:evidence (
    <#lemma254>
    <#lemma255>
    <#lemma256>
    <#lemma257>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2760"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7169"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8700"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i264"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i685"]];
  r:rule <#lemma249>.

<#lemma245> a r:Extraction;
  r:gives {
    :i5434 :i4950 :i558.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma246> a r:Extraction;
  r:gives {
    :i558 :i4950 :i5393.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma247> a r:Extraction;
  r:gives {
    :i5393 :i4950 :i644.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma248> a r:Extraction;
  r:gives {
    :i644 :i4950 :i2060.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma249> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i4950 var:x_1.
     var:x_1 :i4950 var:x_2.
     var:x_2 :i4950 var:x_3.
     var:x_3 :i4950 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query50.n3>].

<#lemma250> a r:Extraction;
  r:gives {
    :i3133 :i4950 :i7433.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma251> a r:Extraction;
  r:gives {
    :i7433 :i4950 :i7261.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma252> a r:Extraction;
  r:gives {
    :i7261 :i4950 :i6083.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma253> a r:Extraction;
  r:gives {
    :i6083 :i4950 :i4098.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma254> a r:Extraction;
  r:gives {
    :i2760 :i4950 :i7169.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma255> a r:Extraction;
  r:gives {
    :i7169 :i4950 :i8700.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma256> a r:Extraction;
  r:gives {
    :i8700 :i4950 :i264.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma257> a r:Extraction;
  r:gives {
    :i264 :i4950 :i685.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.004 [sec] mq=50 out=3 out/sec=750

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma258>;
  r:gives {
    :i5851 :j :i4605.
  }.

<#lemma258> a r:Inference;
  r:gives {
    :i5851 :j :i4605.
  };
  r:evidence (
    <#lemma259>
    <#lemma260>
    <#lemma261>
    <#lemma262>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5851"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5758"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5236"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7267"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4605"]];
  r:rule <#lemma263>.

<#lemma259> a r:Extraction;
  r:gives {
    :i5851 :i6733 :i5758.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma260> a r:Extraction;
  r:gives {
    :i5758 :i6733 :i5236.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma261> a r:Extraction;
  r:gives {
    :i5236 :i6733 :i7267.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma262> a r:Extraction;
  r:gives {
    :i7267 :i6733 :i4605.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma263> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i6733 var:x_1.
     var:x_1 :i6733 var:x_2.
     var:x_2 :i6733 var:x_3.
     var:x_3 :i6733 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query51.n3>].

#DONE 0.003 [sec] mq=51 out=1 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma264>;
  r:gives {
    :i7703 :j :i1101.
  }.

<#lemma264> a r:Inference;
  r:gives {
    :i7703 :j :i1101.
  };
  r:evidence (
    <#lemma265>
    <#lemma266>
    <#lemma267>
    <#lemma268>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7703"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9187"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7511"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1407"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1101"]];
  r:rule <#lemma269>.

<#lemma265> a r:Extraction;
  r:gives {
    :i7703 :i8911 :i9187.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma266> a r:Extraction;
  r:gives {
    :i9187 :i8911 :i7511.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma267> a r:Extraction;
  r:gives {
    :i7511 :i8911 :i1407.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma268> a r:Extraction;
  r:gives {
    :i1407 :i8911 :i1101.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma269> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i8911 var:x_1.
     var:x_1 :i8911 var:x_2.
     var:x_2 :i8911 var:x_3.
     var:x_3 :i8911 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query52.n3>].

#DONE 0.005 [sec] mq=52 out=1 out/sec=200

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma270>;
  r:component <#lemma271>;
  r:gives {
    :i9606 :j :i9606.
    :i6068 :j :i4720.
  }.

<#lemma270> a r:Inference;
  r:gives {
    :i9606 :j :i9606.
  };
  r:evidence (
    <#lemma272>
    <#lemma272>
    <#lemma272>
    <#lemma272>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9606"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9606"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9606"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9606"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9606"]];
  r:rule <#lemma273>.

<#lemma271> a r:Inference;
  r:gives {
    :i6068 :j :i4720.
  };
  r:evidence (
    <#lemma274>
    <#lemma275>
    <#lemma276>
    <#lemma277>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6068"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5951"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4753"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2169"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4720"]];
  r:rule <#lemma273>.

<#lemma272> a r:Extraction;
  r:gives {
    :i9606 :i4059 :i9606.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma273> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i4059 var:x_1.
     var:x_1 :i4059 var:x_2.
     var:x_2 :i4059 var:x_3.
     var:x_3 :i4059 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query53.n3>].

<#lemma274> a r:Extraction;
  r:gives {
    :i6068 :i4059 :i5951.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma275> a r:Extraction;
  r:gives {
    :i5951 :i4059 :i4753.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma276> a r:Extraction;
  r:gives {
    :i4753 :i4059 :i2169.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma277> a r:Extraction;
  r:gives {
    :i2169 :i4059 :i4720.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.005 [sec] mq=53 out=2 out/sec=400

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=54 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma278>;
  r:component <#lemma279>;
  r:component <#lemma280>;
  r:component <#lemma281>;
  r:component <#lemma282>;
  r:gives {
    :i5998 :j :i5077.
    :i5512 :j :i7581.
    :i7417 :j :i5916.
    :i3650 :j :i2035.
    :i4839 :j :i7190.
  }.

<#lemma278> a r:Inference;
  r:gives {
    :i5998 :j :i5077.
  };
  r:evidence (
    <#lemma283>
    <#lemma284>
    <#lemma285>
    <#lemma286>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5998"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3650"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4839"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2165"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5077"]];
  r:rule <#lemma287>.

<#lemma279> a r:Inference;
  r:gives {
    :i5512 :j :i7581.
  };
  r:evidence (
    <#lemma288>
    <#lemma289>
    <#lemma290>
    <#lemma291>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5512"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i188"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4327"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i323"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7581"]];
  r:rule <#lemma287>.

<#lemma280> a r:Inference;
  r:gives {
    :i7417 :j :i5916.
  };
  r:evidence (
    <#lemma292>
    <#lemma293>
    <#lemma294>
    <#lemma295>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7417"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3219"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i792"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3153"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5916"]];
  r:rule <#lemma287>.

<#lemma281> a r:Inference;
  r:gives {
    :i3650 :j :i2035.
  };
  r:evidence (
    <#lemma284>
    <#lemma285>
    <#lemma286>
    <#lemma296>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3650"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4839"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2165"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5077"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2035"]];
  r:rule <#lemma287>.

<#lemma282> a r:Inference;
  r:gives {
    :i4839 :j :i7190.
  };
  r:evidence (
    <#lemma285>
    <#lemma286>
    <#lemma296>
    <#lemma297>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4839"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2165"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5077"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2035"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7190"]];
  r:rule <#lemma287>.

<#lemma283> a r:Extraction;
  r:gives {
    :i5998 :i1782 :i3650.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma284> a r:Extraction;
  r:gives {
    :i3650 :i1782 :i4839.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma285> a r:Extraction;
  r:gives {
    :i4839 :i1782 :i2165.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma286> a r:Extraction;
  r:gives {
    :i2165 :i1782 :i5077.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma287> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i1782 var:x_1.
     var:x_1 :i1782 var:x_2.
     var:x_2 :i1782 var:x_3.
     var:x_3 :i1782 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query55.n3>].

<#lemma288> a r:Extraction;
  r:gives {
    :i5512 :i1782 :i188.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma289> a r:Extraction;
  r:gives {
    :i188 :i1782 :i4327.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma290> a r:Extraction;
  r:gives {
    :i4327 :i1782 :i323.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma291> a r:Extraction;
  r:gives {
    :i323 :i1782 :i7581.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma292> a r:Extraction;
  r:gives {
    :i7417 :i1782 :i3219.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma293> a r:Extraction;
  r:gives {
    :i3219 :i1782 :i792.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma294> a r:Extraction;
  r:gives {
    :i792 :i1782 :i3153.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma295> a r:Extraction;
  r:gives {
    :i3153 :i1782 :i5916.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma296> a r:Extraction;
  r:gives {
    :i5077 :i1782 :i2035.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma297> a r:Extraction;
  r:gives {
    :i2035 :i1782 :i7190.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.005 [sec] mq=55 out=5 out/sec=1000

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma298>;
  r:gives {
    :i2481 :j :i3615.
  }.

<#lemma298> a r:Inference;
  r:gives {
    :i2481 :j :i3615.
  };
  r:evidence (
    <#lemma299>
    <#lemma300>
    <#lemma301>
    <#lemma302>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2481"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8151"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7541"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8693"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3615"]];
  r:rule <#lemma303>.

<#lemma299> a r:Extraction;
  r:gives {
    :i2481 :i5842 :i8151.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma300> a r:Extraction;
  r:gives {
    :i8151 :i5842 :i7541.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma301> a r:Extraction;
  r:gives {
    :i7541 :i5842 :i8693.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma302> a r:Extraction;
  r:gives {
    :i8693 :i5842 :i3615.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma303> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i5842 var:x_1.
     var:x_1 :i5842 var:x_2.
     var:x_2 :i5842 var:x_3.
     var:x_3 :i5842 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query56.n3>].

#DONE 0.006 [sec] mq=56 out=1 out/sec=167

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma304>;
  r:gives {
    :i9573 :j :i9573.
  }.

<#lemma304> a r:Inference;
  r:gives {
    :i9573 :j :i9573.
  };
  r:evidence (
    <#lemma305>
    <#lemma305>
    <#lemma305>
    <#lemma305>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:rule <#lemma306>.

<#lemma305> a r:Extraction;
  r:gives {
    :i9573 :i3564 :i9573.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma306> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i3564 var:x_1.
     var:x_1 :i3564 var:x_2.
     var:x_2 :i3564 var:x_3.
     var:x_3 :i3564 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query57.n3>].

#DONE 0.003 [sec] mq=57 out=1 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=58 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma307>;
  r:component <#lemma308>;
  r:gives {
    :i4232 :j :i134.
    :i1848 :j :i134.
  }.

<#lemma307> a r:Inference;
  r:gives {
    :i4232 :j :i134.
  };
  r:evidence (
    <#lemma309>
    <#lemma310>
    <#lemma311>
    <#lemma312>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4232"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3462"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7143"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8286"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i134"]];
  r:rule <#lemma313>.

<#lemma308> a r:Inference;
  r:gives {
    :i1848 :j :i134.
  };
  r:evidence (
    <#lemma314>
    <#lemma310>
    <#lemma311>
    <#lemma312>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1848"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3462"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7143"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8286"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i134"]];
  r:rule <#lemma313>.

<#lemma309> a r:Extraction;
  r:gives {
    :i4232 :i495 :i3462.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma310> a r:Extraction;
  r:gives {
    :i3462 :i495 :i7143.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma311> a r:Extraction;
  r:gives {
    :i7143 :i495 :i8286.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma312> a r:Extraction;
  r:gives {
    :i8286 :i495 :i134.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma313> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i495 var:x_1.
     var:x_1 :i495 var:x_2.
     var:x_2 :i495 var:x_3.
     var:x_3 :i495 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query59.n3>].

<#lemma314> a r:Extraction;
  r:gives {
    :i1848 :i495 :i3462.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.005 [sec] mq=59 out=2 out/sec=400

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma315>;
  r:component <#lemma316>;
  r:component <#lemma317>;
  r:gives {
    :i9489 :j :i9987.
    :i5594 :j :i1939.
    :i1181 :j :i1963.
  }.

<#lemma315> a r:Inference;
  r:gives {
    :i9489 :j :i9987.
  };
  r:evidence (
    <#lemma318>
    <#lemma319>
    <#lemma320>
    <#lemma321>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9489"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5594"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6656"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1759"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9987"]];
  r:rule <#lemma322>.

<#lemma316> a r:Inference;
  r:gives {
    :i5594 :j :i1939.
  };
  r:evidence (
    <#lemma319>
    <#lemma320>
    <#lemma321>
    <#lemma323>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5594"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6656"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1759"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9987"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1939"]];
  r:rule <#lemma322>.

<#lemma317> a r:Inference;
  r:gives {
    :i1181 :j :i1963.
  };
  r:evidence (
    <#lemma324>
    <#lemma325>
    <#lemma326>
    <#lemma327>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1181"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7016"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8477"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2121"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1963"]];
  r:rule <#lemma322>.

<#lemma318> a r:Extraction;
  r:gives {
    :i9489 :i2970 :i5594.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma319> a r:Extraction;
  r:gives {
    :i5594 :i2970 :i6656.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma320> a r:Extraction;
  r:gives {
    :i6656 :i2970 :i1759.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma321> a r:Extraction;
  r:gives {
    :i1759 :i2970 :i9987.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma322> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i2970 var:x_1.
     var:x_1 :i2970 var:x_2.
     var:x_2 :i2970 var:x_3.
     var:x_3 :i2970 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query60.n3>].

<#lemma323> a r:Extraction;
  r:gives {
    :i9987 :i2970 :i1939.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma324> a r:Extraction;
  r:gives {
    :i1181 :i2970 :i7016.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma325> a r:Extraction;
  r:gives {
    :i7016 :i2970 :i8477.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma326> a r:Extraction;
  r:gives {
    :i8477 :i2970 :i2121.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma327> a r:Extraction;
  r:gives {
    :i2121 :i2970 :i1963.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.005 [sec] mq=60 out=3 out/sec=600

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=61 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma328>;
  r:component <#lemma329>;
  r:component <#lemma330>;
  r:component <#lemma331>;
  r:component <#lemma332>;
  r:gives {
    :i4421 :j :i3249.
    :i3443 :j :i1278.
    :i6147 :j :i1347.
    :i1090 :j :i1278.
    :i7721 :j :i8113.
  }.

<#lemma328> a r:Inference;
  r:gives {
    :i4421 :j :i3249.
  };
  r:evidence (
    <#lemma333>
    <#lemma334>
    <#lemma335>
    <#lemma336>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4421"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5519"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i659"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6140"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3249"]];
  r:rule <#lemma337>.

<#lemma329> a r:Inference;
  r:gives {
    :i3443 :j :i1278.
  };
  r:evidence (
    <#lemma338>
    <#lemma339>
    <#lemma340>
    <#lemma341>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3443"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6657"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4637"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8113"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1278"]];
  r:rule <#lemma337>.

<#lemma330> a r:Inference;
  r:gives {
    :i6147 :j :i1347.
  };
  r:evidence (
    <#lemma342>
    <#lemma343>
    <#lemma344>
    <#lemma345>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6147"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1781"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9242"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6756"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1347"]];
  r:rule <#lemma337>.

<#lemma331> a r:Inference;
  r:gives {
    :i1090 :j :i1278.
  };
  r:evidence (
    <#lemma346>
    <#lemma339>
    <#lemma340>
    <#lemma341>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1090"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6657"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4637"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8113"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1278"]];
  r:rule <#lemma337>.

<#lemma332> a r:Inference;
  r:gives {
    :i7721 :j :i8113.
  };
  r:evidence (
    <#lemma347>
    <#lemma338>
    <#lemma339>
    <#lemma340>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7721"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3443"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6657"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4637"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8113"]];
  r:rule <#lemma337>.

<#lemma333> a r:Extraction;
  r:gives {
    :i4421 :i5248 :i5519.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma334> a r:Extraction;
  r:gives {
    :i5519 :i5248 :i659.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma335> a r:Extraction;
  r:gives {
    :i659 :i5248 :i6140.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma336> a r:Extraction;
  r:gives {
    :i6140 :i5248 :i3249.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma337> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i5248 var:x_1.
     var:x_1 :i5248 var:x_2.
     var:x_2 :i5248 var:x_3.
     var:x_3 :i5248 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query62.n3>].

<#lemma338> a r:Extraction;
  r:gives {
    :i3443 :i5248 :i6657.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma339> a r:Extraction;
  r:gives {
    :i6657 :i5248 :i4637.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma340> a r:Extraction;
  r:gives {
    :i4637 :i5248 :i8113.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma341> a r:Extraction;
  r:gives {
    :i8113 :i5248 :i1278.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma342> a r:Extraction;
  r:gives {
    :i6147 :i5248 :i1781.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma343> a r:Extraction;
  r:gives {
    :i1781 :i5248 :i9242.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma344> a r:Extraction;
  r:gives {
    :i9242 :i5248 :i6756.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma345> a r:Extraction;
  r:gives {
    :i6756 :i5248 :i1347.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma346> a r:Extraction;
  r:gives {
    :i1090 :i5248 :i6657.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma347> a r:Extraction;
  r:gives {
    :i7721 :i5248 :i3443.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.004 [sec] mq=62 out=5 out/sec=1250

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=63 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=64 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma348>;
  r:gives {
    :i9573 :j :i9573.
  }.

<#lemma348> a r:Inference;
  r:gives {
    :i9573 :j :i9573.
  };
  r:evidence (
    <#lemma349>
    <#lemma349>
    <#lemma349>
    <#lemma349>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9573"]];
  r:rule <#lemma350>.

<#lemma349> a r:Extraction;
  r:gives {
    :i9573 :i3564 :i9573.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma350> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i3564 var:x_1.
     var:x_1 :i3564 var:x_2.
     var:x_2 :i3564 var:x_3.
     var:x_3 :i3564 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query65.n3>].

#DONE 0.005 [sec] mq=65 out=1 out/sec=200

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma351>;
  r:component <#lemma352>;
  r:gives {
    :i9606 :j :i9606.
    :i6068 :j :i4720.
  }.

<#lemma351> a r:Inference;
  r:gives {
    :i9606 :j :i9606.
  };
  r:evidence (
    <#lemma353>
    <#lemma353>
    <#lemma353>
    <#lemma353>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9606"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9606"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9606"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9606"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9606"]];
  r:rule <#lemma354>.

<#lemma352> a r:Inference;
  r:gives {
    :i6068 :j :i4720.
  };
  r:evidence (
    <#lemma355>
    <#lemma356>
    <#lemma357>
    <#lemma358>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6068"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5951"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4753"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2169"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4720"]];
  r:rule <#lemma354>.

<#lemma353> a r:Extraction;
  r:gives {
    :i9606 :i4059 :i9606.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma354> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i4059 var:x_1.
     var:x_1 :i4059 var:x_2.
     var:x_2 :i4059 var:x_3.
     var:x_3 :i4059 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query66.n3>].

<#lemma355> a r:Extraction;
  r:gives {
    :i6068 :i4059 :i5951.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma356> a r:Extraction;
  r:gives {
    :i5951 :i4059 :i4753.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma357> a r:Extraction;
  r:gives {
    :i4753 :i4059 :i2169.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma358> a r:Extraction;
  r:gives {
    :i2169 :i4059 :i4720.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.003 [sec] mq=66 out=2 out/sec=667

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=67 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma359>;
  r:gives {
    :i101 :j :i5858.
  }.

<#lemma359> a r:Inference;
  r:gives {
    :i101 :j :i5858.
  };
  r:evidence (
    <#lemma360>
    <#lemma361>
    <#lemma362>
    <#lemma363>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i101"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9414"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6924"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2887"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5858"]];
  r:rule <#lemma364>.

<#lemma360> a r:Extraction;
  r:gives {
    :i101 :i3663 :i9414.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma361> a r:Extraction;
  r:gives {
    :i9414 :i3663 :i6924.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma362> a r:Extraction;
  r:gives {
    :i6924 :i3663 :i2887.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma363> a r:Extraction;
  r:gives {
    :i2887 :i3663 :i5858.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma364> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i3663 var:x_1.
     var:x_1 :i3663 var:x_2.
     var:x_2 :i3663 var:x_3.
     var:x_3 :i3663 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query68.n3>].

#DONE 0.004 [sec] mq=68 out=1 out/sec=250

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma365>;
  r:component <#lemma366>;
  r:gives {
    :i1773 :j :i8310.
    :i1923 :j :i3564.
  }.

<#lemma365> a r:Inference;
  r:gives {
    :i1773 :j :i8310.
  };
  r:evidence (
    <#lemma367>
    <#lemma368>
    <#lemma369>
    <#lemma370>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1773"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1495"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8304"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2589"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8310"]];
  r:rule <#lemma371>.

<#lemma366> a r:Inference;
  r:gives {
    :i1923 :j :i3564.
  };
  r:evidence (
    <#lemma372>
    <#lemma373>
    <#lemma374>
    <#lemma375>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1923"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8509"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2381"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4301"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3564"]];
  r:rule <#lemma371>.

<#lemma367> a r:Extraction;
  r:gives {
    :i1773 :i2673 :i1495.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma368> a r:Extraction;
  r:gives {
    :i1495 :i2673 :i8304.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma369> a r:Extraction;
  r:gives {
    :i8304 :i2673 :i2589.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma370> a r:Extraction;
  r:gives {
    :i2589 :i2673 :i8310.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma371> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i2673 var:x_1.
     var:x_1 :i2673 var:x_2.
     var:x_2 :i2673 var:x_3.
     var:x_3 :i2673 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query69.n3>].

<#lemma372> a r:Extraction;
  r:gives {
    :i1923 :i2673 :i8509.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma373> a r:Extraction;
  r:gives {
    :i8509 :i2673 :i2381.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma374> a r:Extraction;
  r:gives {
    :i2381 :i2673 :i4301.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma375> a r:Extraction;
  r:gives {
    :i4301 :i2673 :i3564.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.006 [sec] mq=69 out=2 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=70 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma376>;
  r:component <#lemma377>;
  r:component <#lemma378>;
  r:gives {
    :i8814 :j :i4111.
    :i2064 :j :i2064.
    :i1297 :j :i4763.
  }.

<#lemma376> a r:Inference;
  r:gives {
    :i8814 :j :i4111.
  };
  r:evidence (
    <#lemma379>
    <#lemma380>
    <#lemma381>
    <#lemma382>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8814"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4903"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4113"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6925"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4111"]];
  r:rule <#lemma383>.

<#lemma377> a r:Inference;
  r:gives {
    :i2064 :j :i2064.
  };
  r:evidence (
    <#lemma384>
    <#lemma384>
    <#lemma384>
    <#lemma384>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2064"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2064"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2064"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2064"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2064"]];
  r:rule <#lemma383>.

<#lemma378> a r:Inference;
  r:gives {
    :i1297 :j :i4763.
  };
  r:evidence (
    <#lemma385>
    <#lemma386>
    <#lemma387>
    <#lemma388>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1297"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i280"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i520"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5267"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4763"]];
  r:rule <#lemma383>.

<#lemma379> a r:Extraction;
  r:gives {
    :i8814 :i2871 :i4903.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma380> a r:Extraction;
  r:gives {
    :i4903 :i2871 :i4113.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma381> a r:Extraction;
  r:gives {
    :i4113 :i2871 :i6925.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma382> a r:Extraction;
  r:gives {
    :i6925 :i2871 :i4111.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma383> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i2871 var:x_1.
     var:x_1 :i2871 var:x_2.
     var:x_2 :i2871 var:x_3.
     var:x_3 :i2871 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query71.n3>].

<#lemma384> a r:Extraction;
  r:gives {
    :i2064 :i2871 :i2064.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma385> a r:Extraction;
  r:gives {
    :i1297 :i2871 :i280.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma386> a r:Extraction;
  r:gives {
    :i280 :i2871 :i520.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma387> a r:Extraction;
  r:gives {
    :i520 :i2871 :i5267.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma388> a r:Extraction;
  r:gives {
    :i5267 :i2871 :i4763.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.004 [sec] mq=71 out=3 out/sec=750

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma389>;
  r:component <#lemma390>;
  r:component <#lemma391>;
  r:gives {
    :i7931 :j :i7931.
    :i7931 :j :i4791.
    :i6595 :j :i38.
  }.

<#lemma389> a r:Inference;
  r:gives {
    :i7931 :j :i7931.
  };
  r:evidence (
    <#lemma392>
    <#lemma392>
    <#lemma392>
    <#lemma392>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7931"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7931"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7931"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7931"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7931"]];
  r:rule <#lemma393>.

<#lemma390> a r:Inference;
  r:gives {
    :i7931 :j :i4791.
  };
  r:evidence (
    <#lemma392>
    <#lemma392>
    <#lemma392>
    <#lemma394>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7931"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7931"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7931"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7931"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4791"]];
  r:rule <#lemma393>.

<#lemma391> a r:Inference;
  r:gives {
    :i6595 :j :i38.
  };
  r:evidence (
    <#lemma395>
    <#lemma396>
    <#lemma397>
    <#lemma398>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6595"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8938"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2832"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5520"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i38"]];
  r:rule <#lemma393>.

<#lemma392> a r:Extraction;
  r:gives {
    :i7931 :i5347 :i7931.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma393> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i5347 var:x_1.
     var:x_1 :i5347 var:x_2.
     var:x_2 :i5347 var:x_3.
     var:x_3 :i5347 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query72.n3>].

<#lemma394> a r:Extraction;
  r:gives {
    :i7931 :i5347 :i4791.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma395> a r:Extraction;
  r:gives {
    :i6595 :i5347 :i8938.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma396> a r:Extraction;
  r:gives {
    :i8938 :i5347 :i2832.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma397> a r:Extraction;
  r:gives {
    :i2832 :i5347 :i5520.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma398> a r:Extraction;
  r:gives {
    :i5520 :i5347 :i38.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.004 [sec] mq=72 out=3 out/sec=750

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma399>;
  r:component <#lemma400>;
  r:gives {
    :i8807 :j :i7276.
    :i2358 :j :i2358.
  }.

<#lemma399> a r:Inference;
  r:gives {
    :i8807 :j :i7276.
  };
  r:evidence (
    <#lemma401>
    <#lemma402>
    <#lemma403>
    <#lemma404>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8807"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i425"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2011"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7446"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7276"]];
  r:rule <#lemma405>.

<#lemma400> a r:Inference;
  r:gives {
    :i2358 :j :i2358.
  };
  r:evidence (
    <#lemma406>
    <#lemma406>
    <#lemma406>
    <#lemma406>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2358"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2358"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2358"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2358"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2358"]];
  r:rule <#lemma405>.

<#lemma401> a r:Extraction;
  r:gives {
    :i8807 :i8218 :i425.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma402> a r:Extraction;
  r:gives {
    :i425 :i8218 :i2011.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma403> a r:Extraction;
  r:gives {
    :i2011 :i8218 :i7446.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma404> a r:Extraction;
  r:gives {
    :i7446 :i8218 :i7276.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma405> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i8218 var:x_1.
     var:x_1 :i8218 var:x_2.
     var:x_2 :i8218 var:x_3.
     var:x_3 :i8218 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query73.n3>].

<#lemma406> a r:Extraction;
  r:gives {
    :i2358 :i8218 :i2358.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.006 [sec] mq=73 out=2 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma407>;
  r:gives {
    :i4350 :j :i4225.
  }.

<#lemma407> a r:Inference;
  r:gives {
    :i4350 :j :i4225.
  };
  r:evidence (
    <#lemma408>
    <#lemma409>
    <#lemma410>
    <#lemma411>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4350"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6364"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2157"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7440"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4225"]];
  r:rule <#lemma412>.

<#lemma408> a r:Extraction;
  r:gives {
    :i4350 :i5743 :i6364.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma409> a r:Extraction;
  r:gives {
    :i6364 :i5743 :i2157.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma410> a r:Extraction;
  r:gives {
    :i2157 :i5743 :i7440.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma411> a r:Extraction;
  r:gives {
    :i7440 :i5743 :i4225.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma412> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i5743 var:x_1.
     var:x_1 :i5743 var:x_2.
     var:x_2 :i5743 var:x_3.
     var:x_3 :i5743 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query74.n3>].

#DONE 0.003 [sec] mq=74 out=1 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma413>;
  r:gives {
    :i3829 :j :i3829.
  }.

<#lemma413> a r:Inference;
  r:gives {
    :i3829 :j :i3829.
  };
  r:evidence (
    <#lemma414>
    <#lemma414>
    <#lemma414>
    <#lemma414>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3829"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3829"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3829"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3829"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3829"]];
  r:rule <#lemma415>.

<#lemma414> a r:Extraction;
  r:gives {
    :i3829 :i5545 :i3829.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma415> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i5545 var:x_1.
     var:x_1 :i5545 var:x_2.
     var:x_2 :i5545 var:x_3.
     var:x_3 :i5545 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query75.n3>].

#DONE 0.002 [sec] mq=75 out=1 out/sec=500

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma416>;
  r:gives {
    :i868 :j :i6080.
  }.

<#lemma416> a r:Inference;
  r:gives {
    :i868 :j :i6080.
  };
  r:evidence (
    <#lemma417>
    <#lemma418>
    <#lemma419>
    <#lemma420>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i868"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i440"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8771"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3567"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6080"]];
  r:rule <#lemma421>.

<#lemma417> a r:Extraction;
  r:gives {
    :i868 :i4554 :i440.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma418> a r:Extraction;
  r:gives {
    :i440 :i4554 :i8771.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma419> a r:Extraction;
  r:gives {
    :i8771 :i4554 :i3567.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma420> a r:Extraction;
  r:gives {
    :i3567 :i4554 :i6080.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma421> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i4554 var:x_1.
     var:x_1 :i4554 var:x_2.
     var:x_2 :i4554 var:x_3.
     var:x_3 :i4554 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query76.n3>].

#DONE 0.004 [sec] mq=76 out=1 out/sec=250

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma422>;
  r:gives {
    :i8430 :j :i600.
  }.

<#lemma422> a r:Inference;
  r:gives {
    :i8430 :j :i600.
  };
  r:evidence (
    <#lemma423>
    <#lemma424>
    <#lemma425>
    <#lemma426>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8430"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4773"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1782"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6944"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i600"]];
  r:rule <#lemma427>.

<#lemma423> a r:Extraction;
  r:gives {
    :i8430 :i5644 :i4773.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma424> a r:Extraction;
  r:gives {
    :i4773 :i5644 :i1782.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma425> a r:Extraction;
  r:gives {
    :i1782 :i5644 :i6944.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma426> a r:Extraction;
  r:gives {
    :i6944 :i5644 :i600.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma427> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i5644 var:x_1.
     var:x_1 :i5644 var:x_2.
     var:x_2 :i5644 var:x_3.
     var:x_3 :i5644 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query77.n3>].

#DONE 0.006 [sec] mq=77 out=1 out/sec=167

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma428>;
  r:component <#lemma429>;
  r:component <#lemma430>;
  r:component <#lemma431>;
  r:component <#lemma432>;
  r:gives {
    :i6126 :j :i6126.
    :i7584 :j :i4574.
    :i7584 :j :i5366.
    :i6669 :j :i8306.
    :i6959 :j :i4287.
  }.

<#lemma428> a r:Inference;
  r:gives {
    :i6126 :j :i6126.
  };
  r:evidence (
    <#lemma433>
    <#lemma433>
    <#lemma433>
    <#lemma433>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6126"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6126"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6126"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6126"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6126"]];
  r:rule <#lemma434>.

<#lemma429> a r:Inference;
  r:gives {
    :i7584 :j :i4574.
  };
  r:evidence (
    <#lemma435>
    <#lemma436>
    <#lemma437>
    <#lemma438>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7584"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8103"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3525"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4287"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4574"]];
  r:rule <#lemma434>.

<#lemma430> a r:Inference;
  r:gives {
    :i7584 :j :i5366.
  };
  r:evidence (
    <#lemma435>
    <#lemma436>
    <#lemma437>
    <#lemma439>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7584"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8103"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3525"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4287"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5366"]];
  r:rule <#lemma434>.

<#lemma431> a r:Inference;
  r:gives {
    :i6669 :j :i8306.
  };
  r:evidence (
    <#lemma440>
    <#lemma441>
    <#lemma442>
    <#lemma443>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6669"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2723"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4813"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6120"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8306"]];
  r:rule <#lemma434>.

<#lemma432> a r:Inference;
  r:gives {
    :i6959 :j :i4287.
  };
  r:evidence (
    <#lemma444>
    <#lemma435>
    <#lemma436>
    <#lemma437>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6959"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7584"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8103"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3525"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4287"]];
  r:rule <#lemma434>.

<#lemma433> a r:Extraction;
  r:gives {
    :i6126 :i7129 :i6126.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma434> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i7129 var:x_1.
     var:x_1 :i7129 var:x_2.
     var:x_2 :i7129 var:x_3.
     var:x_3 :i7129 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query78.n3>].

<#lemma435> a r:Extraction;
  r:gives {
    :i7584 :i7129 :i8103.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma436> a r:Extraction;
  r:gives {
    :i8103 :i7129 :i3525.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma437> a r:Extraction;
  r:gives {
    :i3525 :i7129 :i4287.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma438> a r:Extraction;
  r:gives {
    :i4287 :i7129 :i4574.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma439> a r:Extraction;
  r:gives {
    :i4287 :i7129 :i5366.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma440> a r:Extraction;
  r:gives {
    :i6669 :i7129 :i2723.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma441> a r:Extraction;
  r:gives {
    :i2723 :i7129 :i4813.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma442> a r:Extraction;
  r:gives {
    :i4813 :i7129 :i6120.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma443> a r:Extraction;
  r:gives {
    :i6120 :i7129 :i8306.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma444> a r:Extraction;
  r:gives {
    :i6959 :i7129 :i7584.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.006 [sec] mq=78 out=5 out/sec=833

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma445>;
  r:component <#lemma446>;
  r:component <#lemma447>;
  r:gives {
    :i5434 :j :i2060.
    :i3133 :j :i4098.
    :i2760 :j :i685.
  }.

<#lemma445> a r:Inference;
  r:gives {
    :i5434 :j :i2060.
  };
  r:evidence (
    <#lemma448>
    <#lemma449>
    <#lemma450>
    <#lemma451>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5434"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i558"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5393"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i644"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2060"]];
  r:rule <#lemma452>.

<#lemma446> a r:Inference;
  r:gives {
    :i3133 :j :i4098.
  };
  r:evidence (
    <#lemma453>
    <#lemma454>
    <#lemma455>
    <#lemma456>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3133"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7433"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7261"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6083"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4098"]];
  r:rule <#lemma452>.

<#lemma447> a r:Inference;
  r:gives {
    :i2760 :j :i685.
  };
  r:evidence (
    <#lemma457>
    <#lemma458>
    <#lemma459>
    <#lemma460>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2760"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7169"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8700"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i264"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i685"]];
  r:rule <#lemma452>.

<#lemma448> a r:Extraction;
  r:gives {
    :i5434 :i4950 :i558.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma449> a r:Extraction;
  r:gives {
    :i558 :i4950 :i5393.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma450> a r:Extraction;
  r:gives {
    :i5393 :i4950 :i644.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma451> a r:Extraction;
  r:gives {
    :i644 :i4950 :i2060.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma452> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i4950 var:x_1.
     var:x_1 :i4950 var:x_2.
     var:x_2 :i4950 var:x_3.
     var:x_3 :i4950 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query79.n3>].

<#lemma453> a r:Extraction;
  r:gives {
    :i3133 :i4950 :i7433.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma454> a r:Extraction;
  r:gives {
    :i7433 :i4950 :i7261.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma455> a r:Extraction;
  r:gives {
    :i7261 :i4950 :i6083.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma456> a r:Extraction;
  r:gives {
    :i6083 :i4950 :i4098.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma457> a r:Extraction;
  r:gives {
    :i2760 :i4950 :i7169.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma458> a r:Extraction;
  r:gives {
    :i7169 :i4950 :i8700.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma459> a r:Extraction;
  r:gives {
    :i8700 :i4950 :i264.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma460> a r:Extraction;
  r:gives {
    :i264 :i4950 :i685.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.004 [sec] mq=79 out=3 out/sec=750

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.004 [sec] mq=80 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=81 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=82 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma461>;
  r:component <#lemma462>;
  r:gives {
    :i7054 :j :i4528.
    :i8337 :j :i6201.
  }.

<#lemma461> a r:Inference;
  r:gives {
    :i7054 :j :i4528.
  };
  r:evidence (
    <#lemma463>
    <#lemma464>
    <#lemma465>
    <#lemma466>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7054"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8337"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9979"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2342"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4528"]];
  r:rule <#lemma467>.

<#lemma462> a r:Inference;
  r:gives {
    :i8337 :j :i6201.
  };
  r:evidence (
    <#lemma464>
    <#lemma465>
    <#lemma466>
    <#lemma468>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8337"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9979"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2342"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4528"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6201"]];
  r:rule <#lemma467>.

<#lemma463> a r:Extraction;
  r:gives {
    :i7054 :i9010 :i8337.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma464> a r:Extraction;
  r:gives {
    :i8337 :i9010 :i9979.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma465> a r:Extraction;
  r:gives {
    :i9979 :i9010 :i2342.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma466> a r:Extraction;
  r:gives {
    :i2342 :i9010 :i4528.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma467> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i9010 var:x_1.
     var:x_1 :i9010 var:x_2.
     var:x_2 :i9010 var:x_3.
     var:x_3 :i9010 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query83.n3>].

<#lemma468> a r:Extraction;
  r:gives {
    :i4528 :i9010 :i6201.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.004 [sec] mq=83 out=2 out/sec=500

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.005 [sec] mq=84 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=85 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma469>;
  r:gives {
    :i2508 :j :i1292.
  }.

<#lemma469> a r:Inference;
  r:gives {
    :i2508 :j :i1292.
  };
  r:evidence (
    <#lemma470>
    <#lemma471>
    <#lemma472>
    <#lemma473>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2508"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6557"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7977"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4123"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1292"]];
  r:rule <#lemma474>.

<#lemma470> a r:Extraction;
  r:gives {
    :i2508 :i7030 :i6557.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma471> a r:Extraction;
  r:gives {
    :i6557 :i7030 :i7977.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma472> a r:Extraction;
  r:gives {
    :i7977 :i7030 :i4123.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma473> a r:Extraction;
  r:gives {
    :i4123 :i7030 :i1292.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma474> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i7030 var:x_1.
     var:x_1 :i7030 var:x_2.
     var:x_2 :i7030 var:x_3.
     var:x_3 :i7030 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query86.n3>].

#DONE 0.003 [sec] mq=86 out=1 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=87 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma475>;
  r:gives {
    :i536 :j :i146.
  }.

<#lemma475> a r:Inference;
  r:gives {
    :i536 :j :i146.
  };
  r:evidence (
    <#lemma476>
    <#lemma477>
    <#lemma478>
    <#lemma479>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i536"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i872"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7956"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7346"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i146"]];
  r:rule <#lemma480>.

<#lemma476> a r:Extraction;
  r:gives {
    :i536 :i4257 :i872.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma477> a r:Extraction;
  r:gives {
    :i872 :i4257 :i7956.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma478> a r:Extraction;
  r:gives {
    :i7956 :i4257 :i7346.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma479> a r:Extraction;
  r:gives {
    :i7346 :i4257 :i146.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma480> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i4257 var:x_1.
     var:x_1 :i4257 var:x_2.
     var:x_2 :i4257 var:x_3.
     var:x_3 :i4257 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query88.n3>].

#DONE 0.005 [sec] mq=88 out=1 out/sec=200

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma481>;
  r:gives {
    :i2508 :j :i1292.
  }.

<#lemma481> a r:Inference;
  r:gives {
    :i2508 :j :i1292.
  };
  r:evidence (
    <#lemma482>
    <#lemma483>
    <#lemma484>
    <#lemma485>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2508"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6557"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7977"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4123"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1292"]];
  r:rule <#lemma486>.

<#lemma482> a r:Extraction;
  r:gives {
    :i2508 :i7030 :i6557.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma483> a r:Extraction;
  r:gives {
    :i6557 :i7030 :i7977.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma484> a r:Extraction;
  r:gives {
    :i7977 :i7030 :i4123.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma485> a r:Extraction;
  r:gives {
    :i4123 :i7030 :i1292.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma486> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i7030 var:x_1.
     var:x_1 :i7030 var:x_2.
     var:x_2 :i7030 var:x_3.
     var:x_3 :i7030 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query89.n3>].

#DONE 0.004 [sec] mq=89 out=1 out/sec=250

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma487>;
  r:gives {
    :i101 :j :i5858.
  }.

<#lemma487> a r:Inference;
  r:gives {
    :i101 :j :i5858.
  };
  r:evidence (
    <#lemma488>
    <#lemma489>
    <#lemma490>
    <#lemma491>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i101"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9414"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6924"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2887"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5858"]];
  r:rule <#lemma492>.

<#lemma488> a r:Extraction;
  r:gives {
    :i101 :i3663 :i9414.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma489> a r:Extraction;
  r:gives {
    :i9414 :i3663 :i6924.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma490> a r:Extraction;
  r:gives {
    :i6924 :i3663 :i2887.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma491> a r:Extraction;
  r:gives {
    :i2887 :i3663 :i5858.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma492> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i3663 var:x_1.
     var:x_1 :i3663 var:x_2.
     var:x_2 :i3663 var:x_3.
     var:x_3 :i3663 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query90.n3>].

#DONE 0.003 [sec] mq=90 out=1 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=91 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=92 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma493>;
  r:gives {
    :i6603 :j :i341.
  }.

<#lemma493> a r:Inference;
  r:gives {
    :i6603 :j :i341.
  };
  r:evidence (
    <#lemma494>
    <#lemma495>
    <#lemma496>
    <#lemma497>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6603"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9515"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8469"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9598"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i341"]];
  r:rule <#lemma498>.

<#lemma494> a r:Extraction;
  r:gives {
    :i6603 :i6238 :i9515.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma495> a r:Extraction;
  r:gives {
    :i9515 :i6238 :i8469.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma496> a r:Extraction;
  r:gives {
    :i8469 :i6238 :i9598.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma497> a r:Extraction;
  r:gives {
    :i9598 :i6238 :i341.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma498> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i6238 var:x_1.
     var:x_1 :i6238 var:x_2.
     var:x_2 :i6238 var:x_3.
     var:x_3 :i6238 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query93.n3>].

#DONE 0.005 [sec] mq=93 out=1 out/sec=200

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma499>;
  r:component <#lemma500>;
  r:gives {
    :i7004 :j :i6099.
    :i8003 :j :i4729.
  }.

<#lemma499> a r:Inference;
  r:gives {
    :i7004 :j :i6099.
  };
  r:evidence (
    <#lemma501>
    <#lemma502>
    <#lemma503>
    <#lemma504>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7004"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i99"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1653"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8804"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6099"]];
  r:rule <#lemma505>.

<#lemma500> a r:Inference;
  r:gives {
    :i8003 :j :i4729.
  };
  r:evidence (
    <#lemma506>
    <#lemma507>
    <#lemma508>
    <#lemma509>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8003"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i379"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5537"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1838"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4729"]];
  r:rule <#lemma505>.

<#lemma501> a r:Extraction;
  r:gives {
    :i7004 :i8317 :i99.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma502> a r:Extraction;
  r:gives {
    :i99 :i8317 :i1653.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma503> a r:Extraction;
  r:gives {
    :i1653 :i8317 :i8804.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma504> a r:Extraction;
  r:gives {
    :i8804 :i8317 :i6099.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma505> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i8317 var:x_1.
     var:x_1 :i8317 var:x_2.
     var:x_2 :i8317 var:x_3.
     var:x_3 :i8317 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query94.n3>].

<#lemma506> a r:Extraction;
  r:gives {
    :i8003 :i8317 :i379.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma507> a r:Extraction;
  r:gives {
    :i379 :i8317 :i5537.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma508> a r:Extraction;
  r:gives {
    :i5537 :i8317 :i1838.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma509> a r:Extraction;
  r:gives {
    :i1838 :i8317 :i4729.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.005 [sec] mq=94 out=2 out/sec=400

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.002 [sec] mq=95 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma510>;
  r:gives {
    :i8430 :j :i600.
  }.

<#lemma510> a r:Inference;
  r:gives {
    :i8430 :j :i600.
  };
  r:evidence (
    <#lemma511>
    <#lemma512>
    <#lemma513>
    <#lemma514>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8430"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4773"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1782"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6944"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i600"]];
  r:rule <#lemma515>.

<#lemma511> a r:Extraction;
  r:gives {
    :i8430 :i5644 :i4773.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma512> a r:Extraction;
  r:gives {
    :i4773 :i5644 :i1782.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma513> a r:Extraction;
  r:gives {
    :i1782 :i5644 :i6944.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma514> a r:Extraction;
  r:gives {
    :i6944 :i5644 :i600.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma515> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i5644 var:x_1.
     var:x_1 :i5644 var:x_2.
     var:x_2 :i5644 var:x_3.
     var:x_3 :i5644 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query96.n3>].

#DONE 0.003 [sec] mq=96 out=1 out/sec=333

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma516>;
  r:component <#lemma517>;
  r:gives {
    :i1773 :j :i8310.
    :i1923 :j :i3564.
  }.

<#lemma516> a r:Inference;
  r:gives {
    :i1773 :j :i8310.
  };
  r:evidence (
    <#lemma518>
    <#lemma519>
    <#lemma520>
    <#lemma521>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1773"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1495"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8304"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2589"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8310"]];
  r:rule <#lemma522>.

<#lemma517> a r:Inference;
  r:gives {
    :i1923 :j :i3564.
  };
  r:evidence (
    <#lemma523>
    <#lemma524>
    <#lemma525>
    <#lemma526>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1923"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8509"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2381"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4301"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3564"]];
  r:rule <#lemma522>.

<#lemma518> a r:Extraction;
  r:gives {
    :i1773 :i2673 :i1495.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma519> a r:Extraction;
  r:gives {
    :i1495 :i2673 :i8304.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma520> a r:Extraction;
  r:gives {
    :i8304 :i2673 :i2589.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma521> a r:Extraction;
  r:gives {
    :i2589 :i2673 :i8310.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma522> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i2673 var:x_1.
     var:x_1 :i2673 var:x_2.
     var:x_2 :i2673 var:x_3.
     var:x_3 :i2673 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query97.n3>].

<#lemma523> a r:Extraction;
  r:gives {
    :i1923 :i2673 :i8509.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma524> a r:Extraction;
  r:gives {
    :i8509 :i2673 :i2381.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma525> a r:Extraction;
  r:gives {
    :i2381 :i2673 :i4301.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma526> a r:Extraction;
  r:gives {
    :i4301 :i2673 :i3564.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.004 [sec] mq=97 out=2 out/sec=500

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

[] a r:Proof, r:Conjunction;
  r:component <#lemma527>;
  r:component <#lemma528>;
  r:component <#lemma529>;
  r:component <#lemma530>;
  r:component <#lemma531>;
  r:gives {
    :i3368 :j :i6353.
    :i5407 :j :i3471.
    :i5407 :j :i2617.
    :i9392 :j :i4745.
    :i7306 :j :i9982.
  }.

<#lemma527> a r:Inference;
  r:gives {
    :i3368 :j :i6353.
  };
  r:evidence (
    <#lemma532>
    <#lemma533>
    <#lemma534>
    <#lemma535>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3368"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4660"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9982"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3471"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i6353"]];
  r:rule <#lemma536>.

<#lemma528> a r:Inference;
  r:gives {
    :i5407 :j :i3471.
  };
  r:evidence (
    <#lemma537>
    <#lemma532>
    <#lemma533>
    <#lemma534>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5407"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3368"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4660"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9982"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3471"]];
  r:rule <#lemma536>.

<#lemma529> a r:Inference;
  r:gives {
    :i5407 :j :i2617.
  };
  r:evidence (
    <#lemma537>
    <#lemma532>
    <#lemma533>
    <#lemma538>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5407"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3368"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4660"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9982"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2617"]];
  r:rule <#lemma536>.

<#lemma530> a r:Inference;
  r:gives {
    :i9392 :j :i4745.
  };
  r:evidence (
    <#lemma539>
    <#lemma540>
    <#lemma541>
    <#lemma542>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9392"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i1086"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i8735"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i2322"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4745"]];
  r:rule <#lemma536>.

<#lemma531> a r:Inference;
  r:gives {
    :i7306 :j :i9982.
  };
  r:evidence (
    <#lemma543>
    <#lemma537>
    <#lemma532>
    <#lemma533>
  );
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_0"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i7306"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_1"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i5407"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_2"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i3368"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_3"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i4660"]];
  r:binding [ r:variable [ n3:uri "http://josd.github.io/var#x_4"]; r:boundTo [ n3:uri "http://josd.github.io/eye/reasoning#i9982"]];
  r:rule <#lemma536>.

<#lemma532> a r:Extraction;
  r:gives {
    :i3368 :i6139 :i4660.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma533> a r:Extraction;
  r:gives {
    :i4660 :i6139 :i9982.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma534> a r:Extraction;
  r:gives {
    :i9982 :i6139 :i3471.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma535> a r:Extraction;
  r:gives {
    :i3471 :i6139 :i6353.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma536> a r:Extraction;
  r:gives {
    @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4. {var:x_0 :i6139 var:x_1.
     var:x_1 :i6139 var:x_2.
     var:x_2 :i6139 var:x_3.
     var:x_3 :i6139 var:x_4} => {var:x_0 :j var:x_4}.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query98.n3>].

<#lemma537> a r:Extraction;
  r:gives {
    :i5407 :i6139 :i3368.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma538> a r:Extraction;
  r:gives {
    :i9982 :i6139 :i2617.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma539> a r:Extraction;
  r:gives {
    :i9392 :i6139 :i1086.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma540> a r:Extraction;
  r:gives {
    :i1086 :i6139 :i8735.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma541> a r:Extraction;
  r:gives {
    :i8735 :i6139 :i2322.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma542> a r:Extraction;
  r:gives {
    :i2322 :i6139 :i4745.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

<#lemma543> a r:Extraction;
  r:gives {
    :i7306 :i6139 :i5407.
  };
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].

#DONE 0.005 [sec] mq=98 out=5 out/sec=1000

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.005 [sec] mq=99 out=0 out/sec=0

@prefix : <http://josd.github.io/eye/reasoning#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix var: <http://josd.github.io/var#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.

#DONE 0.003 [sec] mq=100 out=0 out/sec=0

#2020-10-23T20:16:44.703Z in=100100 out=117 ent=117 step=117 brake=100 inf=7905861 sec=1.408 inf/sec=5614958
#ENDS

