@prefix skolem: <https://eyereasoner.github.io/.well-known/genid/8b98b360-9a70-4845-b52c-c675af60ad01#>.
@prefix r: <http://www.w3.org/2000/10/swap/reason#>.
@prefix i: <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#>.
@prefix human: <http://eulersharp.sourceforge.net/2003/03swap/human#>.
@prefix time: <http://eulersharp.sourceforge.net/2003/03swap/time#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix quant: <http://eulersharp.sourceforge.net/2003/03swap/quantities#>.
@prefix units: <http://eulersharp.sourceforge.net/2003/03swap/units#>.
@prefix event: <http://eulersharp.sourceforge.net/2003/03swap/event#>.
@prefix humanbody: <http://eulersharp.sourceforge.net/2003/03swap/humanBody#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix var: <http://www.w3.org/2000/10/swap/var#>.
@prefix physical: <http://eulersharp.sourceforge.net/2003/03swap/physicalResource#>.

skolem:proof a r:Proof, r:Conjunction;
    r:component skolem:lemma1;
    r:component skolem:lemma2;
    r:component skolem:lemma3;
    r:component skolem:lemma4;
    r:component skolem:lemma5;
    r:gives {
        i:adult3 human:hasBodyMassIndex _:sk_0.
        i:adult3 human:hasWeightStatus _:sk_3.
        _:sk_0 time:hasDateTime "2010-01-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_0 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_0 quant:hasValue 15.299747554165355 .
        _:sk_0 event:basedOn i:weightMeasurement3.
        _:sk_0 event:basedOn i:lengthMeasurement3.
        _:sk_3 a humanbody:SeverelyUnderweight.
        _:sk_3 time:hasDateTime "2010-01-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_3 event:basedOn _:sk_0.
        i:adult4 human:hasBodyMassIndex _:sk_1.
        i:adult4 human:hasWeightStatus _:sk_5.
        _:sk_1 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_1 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_1 quant:hasValue 24.535123966942148 .
        _:sk_1 event:basedOn i:weightMeasurement4.
        _:sk_1 event:basedOn i:lengthMeasurement4.
        _:sk_5 a humanbody:NormalWeight.
        _:sk_5 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_5 event:basedOn _:sk_1.
        i:adult5 human:hasBodyMassIndex _:sk_2.
        i:adult5 human:hasWeightStatus _:sk_4.
        _:sk_2 time:hasDateTime "2011-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_2 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_2 quant:hasValue 18.359697064998425 .
        _:sk_2 event:basedOn i:weightMeasurement5.
        _:sk_2 event:basedOn i:lengthMeasurement5.
        _:sk_4 a humanbody:Underweight.
        _:sk_4 time:hasDateTime "2011-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_4 event:basedOn _:sk_2.
        i:adult1 human:hasBodyMassIndex _:sk_7.
        i:adult1 human:hasWeightStatus _:sk_11.
        _:sk_7 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_7 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_7 quant:hasValue 55.4016620498615 .
        _:sk_7 event:basedOn i:weightMeasurement1.
        _:sk_7 event:basedOn i:lengthMeasurement1.
        _:sk_11 a humanbody:SuperObese.
        _:sk_11 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_11 event:basedOn _:sk_7.
        i:adult2 human:hasBodyMassIndex _:sk_9.
        i:adult2 human:hasWeightStatus _:sk_10.
        _:sk_9 time:hasDateTime "2010-02-25T00:00:00+01:00"^^xsd:dateTime.
        _:sk_9 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_9 quant:hasValue 26.17489589530042 .
        _:sk_9 event:basedOn i:weightMeasurement2.
        _:sk_9 event:basedOn i:lengthMeasurement2.
        _:sk_10 a humanbody:Overweight.
        _:sk_10 time:hasDateTime "2010-02-25T00:00:00+01:00"^^xsd:dateTime.
        _:sk_10 event:basedOn _:sk_9.
    }.

skolem:lemma1 a r:Inference;
    r:gives {
        i:adult3 human:hasBodyMassIndex _:sk_0.
        i:adult3 human:hasWeightStatus _:sk_3.
        _:sk_0 time:hasDateTime "2010-01-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_0 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_0 quant:hasValue 15.299747554165355 .
        _:sk_0 event:basedOn i:weightMeasurement3.
        _:sk_0 event:basedOn i:lengthMeasurement3.
        _:sk_3 a humanbody:SeverelyUnderweight.
        _:sk_3 time:hasDateTime "2010-01-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_3 event:basedOn _:sk_0.
    };
    r:evidence (
        skolem:lemma6
        skolem:lemma7
        skolem:lemma6
        skolem:lemma6
        skolem:lemma6
        skolem:lemma6
        skolem:lemma6
        skolem:lemma8
        skolem:lemma9
        skolem:lemma7
        skolem:lemma7
        skolem:lemma7
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult3"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_0"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_3"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo "2010-01-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo 15.299747554165355];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_5"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weightMeasurement3"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_6"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#lengthMeasurement3"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_7"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2003/03swap/humanBody#SeverelyUnderweight"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_8"]; r:boundTo "2010-01-20T00:00:00+01:00"^^xsd:dateTime];
    r:rule skolem:lemma10.

skolem:lemma2 a r:Inference;
    r:gives {
        i:adult4 human:hasBodyMassIndex _:sk_1.
        i:adult4 human:hasWeightStatus _:sk_5.
        _:sk_1 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_1 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_1 quant:hasValue 24.535123966942148 .
        _:sk_1 event:basedOn i:weightMeasurement4.
        _:sk_1 event:basedOn i:lengthMeasurement4.
        _:sk_5 a humanbody:NormalWeight.
        _:sk_5 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_5 event:basedOn _:sk_1.
    };
    r:evidence (
        skolem:lemma11
        skolem:lemma12
        skolem:lemma11
        skolem:lemma11
        skolem:lemma11
        skolem:lemma11
        skolem:lemma11
        skolem:lemma13
        skolem:lemma14
        skolem:lemma12
        skolem:lemma12
        skolem:lemma12
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult4"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_1"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_5"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo 24.535123966942148];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_5"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weightMeasurement4"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_6"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#lengthMeasurement4"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_7"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2003/03swap/humanBody#NormalWeight"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_8"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:rule skolem:lemma10.

skolem:lemma3 a r:Inference;
    r:gives {
        i:adult5 human:hasBodyMassIndex _:sk_2.
        i:adult5 human:hasWeightStatus _:sk_4.
        _:sk_2 time:hasDateTime "2011-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_2 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_2 quant:hasValue 18.359697064998425 .
        _:sk_2 event:basedOn i:weightMeasurement5.
        _:sk_2 event:basedOn i:lengthMeasurement5.
        _:sk_4 a humanbody:Underweight.
        _:sk_4 time:hasDateTime "2011-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_4 event:basedOn _:sk_2.
    };
    r:evidence (
        skolem:lemma15
        skolem:lemma16
        skolem:lemma15
        skolem:lemma15
        skolem:lemma15
        skolem:lemma15
        skolem:lemma15
        skolem:lemma17
        skolem:lemma18
        skolem:lemma16
        skolem:lemma16
        skolem:lemma16
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult5"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_2"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_4"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo "2011-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo 18.359697064998425];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_5"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weightMeasurement5"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_6"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#lengthMeasurement5"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_7"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2003/03swap/humanBody#Underweight"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_8"]; r:boundTo "2011-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:rule skolem:lemma10.

skolem:lemma4 a r:Inference;
    r:gives {
        i:adult1 human:hasBodyMassIndex _:sk_7.
        i:adult1 human:hasWeightStatus _:sk_11.
        _:sk_7 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_7 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_7 quant:hasValue 55.4016620498615 .
        _:sk_7 event:basedOn i:weightMeasurement1.
        _:sk_7 event:basedOn i:lengthMeasurement1.
        _:sk_11 a humanbody:SuperObese.
        _:sk_11 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_11 event:basedOn _:sk_7.
    };
    r:evidence (
        skolem:lemma19
        skolem:lemma20
        skolem:lemma19
        skolem:lemma19
        skolem:lemma19
        skolem:lemma19
        skolem:lemma19
        skolem:lemma21
        skolem:lemma22
        skolem:lemma20
        skolem:lemma20
        skolem:lemma20
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult1"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_7"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_11"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo 55.4016620498615];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_5"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weightMeasurement1"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_6"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#lengthMeasurement1"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_7"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2003/03swap/humanBody#SuperObese"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_8"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:rule skolem:lemma10.

skolem:lemma5 a r:Inference;
    r:gives {
        i:adult2 human:hasBodyMassIndex _:sk_9.
        i:adult2 human:hasWeightStatus _:sk_10.
        _:sk_9 time:hasDateTime "2010-02-25T00:00:00+01:00"^^xsd:dateTime.
        _:sk_9 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_9 quant:hasValue 26.17489589530042 .
        _:sk_9 event:basedOn i:weightMeasurement2.
        _:sk_9 event:basedOn i:lengthMeasurement2.
        _:sk_10 a humanbody:Overweight.
        _:sk_10 time:hasDateTime "2010-02-25T00:00:00+01:00"^^xsd:dateTime.
        _:sk_10 event:basedOn _:sk_9.
    };
    r:evidence (
        skolem:lemma23
        skolem:lemma24
        skolem:lemma23
        skolem:lemma23
        skolem:lemma23
        skolem:lemma23
        skolem:lemma23
        skolem:lemma25
        skolem:lemma26
        skolem:lemma24
        skolem:lemma24
        skolem:lemma24
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult2"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_9"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_10"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo "2010-02-25T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo 26.17489589530042];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_5"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weightMeasurement2"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_6"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#lengthMeasurement2"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_7"]; r:boundTo [ n3:uri "http://eulersharp.sourceforge.net/2003/03swap/humanBody#Overweight"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_8"]; r:boundTo "2010-02-25T00:00:00+01:00"^^xsd:dateTime];
    r:rule skolem:lemma10.

skolem:lemma6 a r:Inference;
    r:gives {
        i:adult3 human:hasBodyMassIndex _:sk_0.
        _:sk_0 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_0 quant:hasValue 15.299747554165355 .
        _:sk_0 time:hasDateTime "2010-01-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_0 event:basedOn i:weightMeasurement3.
        _:sk_0 event:basedOn i:lengthMeasurement3.
    };
    r:evidence (
        skolem:lemma27
        skolem:lemma28
        skolem:lemma29
        skolem:lemma30
        skolem:lemma31
        skolem:lemma32
        skolem:lemma9
        skolem:lemma33
        skolem:lemma34
        skolem:lemma35
        skolem:lemma36
        skolem:lemma8
        skolem:lemma37
        skolem:lemma38
        [ a r:Fact; r:gives {("2010-01-20T00:00:00+01:00"^^xsd:dateTime "2010-01-20T00:00:00+01:00"^^xsd:dateTime) math:difference 0}]
        [ a r:Fact; r:gives {0 math:notGreaterThan "P10Y"^^xsd:duration}]
        [ a r:Fact; r:gives {0 math:notLessThan "-P7D"^^xsd:duration}]
        [ a r:Fact; r:gives {("2010-01-20T00:00:00+01:00"^^xsd:dateTime "2010-01-20T00:00:00+01:00"^^xsd:dateTime) e:max "2010-01-20T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {("2010-01-20T00:00:00+01:00" xsd:dateTime) log:dtlit "2010-01-20T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {("2010-01-20T00:00:00+01:00" xsd:dateTime) log:dtlit "2010-01-20T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {(i:adult3 "2010-01-20T00:00:00+01:00"^^xsd:dateTime) time:calculatingAge 23}]
        [ a r:Fact; r:gives {23 math:notLessThan 15}]
        [ a r:Fact; r:gives {("1.715"^^xsd:decimal 2) math:exponentiation 2.941225}]
        [ a r:Fact; r:gives {("45"^^xsd:decimal 2.941225) math:quotient 15.299747554165355}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult3"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#body1"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#length1"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weight1"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#lengthMeasurement3"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_5"]; r:boundTo "1.715"^^xsd:decimal];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_6"]; r:boundTo "2010-01-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_7"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weightMeasurement3"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_8"]; r:boundTo "45"^^xsd:decimal];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_9"]; r:boundTo "2010-01-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_10"]; r:boundTo 0];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_11"]; r:boundTo "2010-01-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_12"]; r:boundTo "2010-01-20T00:00:00+01:00"];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_13"]; r:boundTo "2010-01-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_14"]; r:boundTo 23];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_15"]; r:boundTo 2.941225];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_16"]; r:boundTo 15.299747554165355];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_17"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_0"]];
    r:rule skolem:lemma39.

skolem:lemma7 a r:Inference;
    r:gives {
        i:adult3 human:hasWeightStatus _:sk_3.
        _:sk_3 a humanbody:SeverelyUnderweight.
        _:sk_3 time:hasDateTime "2010-01-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_3 event:basedOn _:sk_0.
    };
    r:evidence (
        skolem:lemma6
        skolem:lemma6
        skolem:lemma6
        [ a r:Fact; r:gives {15.299747554165355 math:lessThan 16}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult3"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_0"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 15.299747554165355];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo "2010-01-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_3"]];
    r:rule skolem:lemma40.

skolem:lemma8 a r:Extraction;
    r:gives {
        i:weightMeasurement3 quant:hasUnit units:kilogram.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma9 a r:Extraction;
    r:gives {
        i:lengthMeasurement3 quant:hasUnit units:meter.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma10 a r:Extraction;
    r:gives {
        @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4, var:x_5, var:x_6, var:x_7, var:x_8. {
            var:x_0 human:hasBodyMassIndex var:x_1.
            var:x_0 human:hasWeightStatus var:x_2.
            var:x_1 time:hasDateTime var:x_3.
            var:x_1 quant:hasUnit units:kilogramPerMeterSquare.
            var:x_1 quant:hasValue var:x_4.
            var:x_1 event:basedOn var:x_5.
            var:x_1 event:basedOn var:x_6.
            var:x_5 quant:hasUnit units:kilogram.
            var:x_6 quant:hasUnit units:meter.
            var:x_2 a var:x_7.
            var:x_2 time:hasDateTime var:x_8.
            var:x_2 event:basedOn var:x_1.
        } => {
            var:x_0 human:hasBodyMassIndex var:x_1.
            var:x_0 human:hasWeightStatus var:x_2.
            var:x_1 time:hasDateTime var:x_3.
            var:x_1 quant:hasUnit units:kilogramPerMeterSquare.
            var:x_1 quant:hasValue var:x_4.
            var:x_1 event:basedOn var:x_5.
            var:x_1 event:basedOn var:x_6.
            var:x_2 a var:x_7.
            var:x_2 time:hasDateTime var:x_8.
            var:x_2 event:basedOn var:x_1.
        }.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_query.n3>].

skolem:lemma11 a r:Inference;
    r:gives {
        i:adult4 human:hasBodyMassIndex _:sk_1.
        _:sk_1 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_1 quant:hasValue 24.535123966942148 .
        _:sk_1 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_1 event:basedOn i:weightMeasurement4.
        _:sk_1 event:basedOn i:lengthMeasurement4.
    };
    r:evidence (
        skolem:lemma41
        skolem:lemma42
        skolem:lemma43
        skolem:lemma44
        skolem:lemma45
        skolem:lemma46
        skolem:lemma14
        skolem:lemma47
        skolem:lemma48
        skolem:lemma49
        skolem:lemma50
        skolem:lemma13
        skolem:lemma51
        skolem:lemma52
        [ a r:Fact; r:gives {("2010-02-20T00:00:00+01:00"^^xsd:dateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime) math:difference 0}]
        [ a r:Fact; r:gives {0 math:notGreaterThan "P10Y"^^xsd:duration}]
        [ a r:Fact; r:gives {0 math:notLessThan "-P7D"^^xsd:duration}]
        [ a r:Fact; r:gives {("2010-02-20T00:00:00+01:00"^^xsd:dateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime) e:max "2010-02-20T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {("2010-02-20T00:00:00+01:00" xsd:dateTime) log:dtlit "2010-02-20T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {("2010-02-20T00:00:00+01:00" xsd:dateTime) log:dtlit "2010-02-20T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {(i:adult4 "2010-02-20T00:00:00+01:00"^^xsd:dateTime) time:calculatingAge 35}]
        [ a r:Fact; r:gives {35 math:notLessThan 15}]
        [ a r:Fact; r:gives {("1.76"^^xsd:decimal 2) math:exponentiation 3.0976}]
        [ a r:Fact; r:gives {("76"^^xsd:decimal 3.0976) math:quotient 24.535123966942148}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult4"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#body2"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#length2"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weight2"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#lengthMeasurement4"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_5"]; r:boundTo "1.76"^^xsd:decimal];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_6"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_7"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weightMeasurement4"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_8"]; r:boundTo "76"^^xsd:decimal];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_9"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_10"]; r:boundTo 0];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_11"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_12"]; r:boundTo "2010-02-20T00:00:00+01:00"];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_13"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_14"]; r:boundTo 35];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_15"]; r:boundTo 3.0976];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_16"]; r:boundTo 24.535123966942148];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_17"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_1"]];
    r:rule skolem:lemma39.

skolem:lemma12 a r:Inference;
    r:gives {
        i:adult4 human:hasWeightStatus _:sk_5.
        _:sk_5 a humanbody:NormalWeight.
        _:sk_5 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_5 event:basedOn _:sk_1.
    };
    r:evidence (
        skolem:lemma11
        skolem:lemma11
        skolem:lemma11
        [ a r:Fact; r:gives {24.535123966942148 math:notLessThan 18.5}]
        [ a r:Fact; r:gives {24.535123966942148 math:notGreaterThan 24.9}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult4"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_1"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 24.535123966942148];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_5"]];
    r:rule skolem:lemma53.

skolem:lemma13 a r:Extraction;
    r:gives {
        i:weightMeasurement4 quant:hasUnit units:kilogram.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma14 a r:Extraction;
    r:gives {
        i:lengthMeasurement4 quant:hasUnit units:meter.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma15 a r:Inference;
    r:gives {
        i:adult5 human:hasBodyMassIndex _:sk_2.
        _:sk_2 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_2 quant:hasValue 18.359697064998425 .
        _:sk_2 time:hasDateTime "2011-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_2 event:basedOn i:weightMeasurement5.
        _:sk_2 event:basedOn i:lengthMeasurement5.
    };
    r:evidence (
        skolem:lemma54
        skolem:lemma55
        skolem:lemma56
        skolem:lemma57
        skolem:lemma58
        skolem:lemma59
        skolem:lemma18
        skolem:lemma60
        skolem:lemma61
        skolem:lemma62
        skolem:lemma63
        skolem:lemma17
        skolem:lemma64
        skolem:lemma65
        [ a r:Fact; r:gives {("2011-02-20T00:00:00+01:00"^^xsd:dateTime "2011-02-20T00:00:00+01:00"^^xsd:dateTime) math:difference 0}]
        [ a r:Fact; r:gives {0 math:notGreaterThan "P10Y"^^xsd:duration}]
        [ a r:Fact; r:gives {0 math:notLessThan "-P7D"^^xsd:duration}]
        [ a r:Fact; r:gives {("2011-02-20T00:00:00+01:00"^^xsd:dateTime "2011-02-20T00:00:00+01:00"^^xsd:dateTime) e:max "2011-02-20T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {("2011-02-20T00:00:00+01:00" xsd:dateTime) log:dtlit "2011-02-20T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {("2011-02-20T00:00:00+01:00" xsd:dateTime) log:dtlit "2011-02-20T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {(i:adult5 "2011-02-20T00:00:00+01:00"^^xsd:dateTime) time:calculatingAge 15}]
        [ a r:Fact; r:gives {15 math:notLessThan 15}]
        [ a r:Fact; r:gives {("1.715"^^xsd:decimal 2) math:exponentiation 2.941225}]
        [ a r:Fact; r:gives {("54"^^xsd:decimal 2.941225) math:quotient 18.359697064998425}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult5"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#body3"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#length3"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weight3"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#lengthMeasurement5"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_5"]; r:boundTo "1.715"^^xsd:decimal];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_6"]; r:boundTo "2011-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_7"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weightMeasurement5"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_8"]; r:boundTo "54"^^xsd:decimal];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_9"]; r:boundTo "2011-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_10"]; r:boundTo 0];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_11"]; r:boundTo "2011-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_12"]; r:boundTo "2011-02-20T00:00:00+01:00"];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_13"]; r:boundTo "2011-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_14"]; r:boundTo 15];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_15"]; r:boundTo 2.941225];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_16"]; r:boundTo 18.359697064998425];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_17"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_2"]];
    r:rule skolem:lemma39.

skolem:lemma16 a r:Inference;
    r:gives {
        i:adult5 human:hasWeightStatus _:sk_4.
        _:sk_4 a humanbody:Underweight.
        _:sk_4 time:hasDateTime "2011-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_4 event:basedOn _:sk_2.
    };
    r:evidence (
        skolem:lemma15
        skolem:lemma15
        skolem:lemma15
        [ a r:Fact; r:gives {18.359697064998425 math:notLessThan 16}]
        [ a r:Fact; r:gives {18.359697064998425 math:notGreaterThan 18.4}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult5"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_2"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 18.359697064998425];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo "2011-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_4"]];
    r:rule skolem:lemma66.

skolem:lemma17 a r:Extraction;
    r:gives {
        i:weightMeasurement5 quant:hasUnit units:kilogram.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma18 a r:Extraction;
    r:gives {
        i:lengthMeasurement5 quant:hasUnit units:meter.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma19 a r:Inference;
    r:gives {
        i:adult1 human:hasBodyMassIndex _:sk_7.
        _:sk_7 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_7 quant:hasValue 55.4016620498615 .
        _:sk_7 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_7 event:basedOn i:weightMeasurement1.
        _:sk_7 event:basedOn i:lengthMeasurement1.
    };
    r:evidence (
        skolem:lemma67
        skolem:lemma21
        skolem:lemma68
        skolem:lemma69
        [ a r:Fact; r:gives {((<https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_rules.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/weightStatus_rules.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/age_rules_backward.n3>) 1) e:optional {
            i:adult1 human:hasLength i:lengthMeasurement1.
            i:lengthMeasurement1 quant:hasUnit units:meter.
            i:lengthMeasurement1 quant:hasValue "1.90"^^xsd:decimal.
            i:lengthMeasurement1 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        }}]
        [ a r:Fact; r:gives {((<https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_rules.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/weightStatus_rules.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/age_rules_backward.n3>) 1) e:optional {
            i:adult1 human:hasLength i:lengthMeasurement1.
            i:lengthMeasurement1 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
            i:lengthMeasurement1 quant:convertedTo _:sk_6.
            _:sk_6 quant:hasUnit units:meter.
            _:sk_6 quant:hasValue "1.90"^^xsd:decimal.
        }}]
        [ a r:Fact; r:gives {("2010-02-20T00:00:00+01:00"^^xsd:dateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime) math:difference 0}]
        [ a r:Fact; r:gives {0 math:notGreaterThan "P0M"^^xsd:duration}]
        [ a r:Fact; r:gives {0 math:notLessThan "-P0M"^^xsd:duration}]
        [ a r:Fact; r:gives {("2010-02-20T00:00:00+01:00"^^xsd:dateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime) e:max "2010-02-20T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {("2010-02-20T00:00:00+01:00" xsd:dateTime) log:dtlit "2010-02-20T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {("2010-02-20T00:00:00+01:00" xsd:dateTime) log:dtlit "2010-02-20T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {(i:adult1 "2010-02-20T00:00:00+01:00"^^xsd:dateTime) time:calculatingAge 67}]
        [ a r:Fact; r:gives {67 math:notLessThan 15}]
        [ a r:Fact; r:gives {("_weightValue/_lengthValue**2" "200"^^xsd:decimal "1.90"^^xsd:decimal) e:calculate 55.4016620498615}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult1"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weightMeasurement1"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo "200"^^xsd:decimal];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo ((<https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_rules.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/weightStatus_rules.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/age_rules_backward.n3>) 1)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_5"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#lengthMeasurement1"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_6"]; r:boundTo "1.90"^^xsd:decimal];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_7"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_8"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_6"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_9"]; r:boundTo 0];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_10"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_11"]; r:boundTo "2010-02-20T00:00:00+01:00"];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_12"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_13"]; r:boundTo 67];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_14"]; r:boundTo 55.4016620498615];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_15"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_7"]];
    r:rule skolem:lemma70.

skolem:lemma20 a r:Inference;
    r:gives {
        i:adult1 human:hasWeightStatus _:sk_11.
        _:sk_11 a humanbody:SuperObese.
        _:sk_11 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
        _:sk_11 event:basedOn _:sk_7.
    };
    r:evidence (
        skolem:lemma19
        skolem:lemma19
        skolem:lemma19
        [ a r:Fact; r:gives {55.4016620498615 math:notLessThan 45}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult1"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_7"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 55.4016620498615];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo "2010-02-20T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_11"]];
    r:rule skolem:lemma71.

skolem:lemma21 a r:Extraction;
    r:gives {
        i:weightMeasurement1 quant:hasUnit units:kilogram.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma22 a r:Extraction;
    r:gives {
        i:lengthMeasurement1 quant:hasUnit units:meter.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma23 a r:Inference;
    r:gives {
        i:adult2 human:hasBodyMassIndex _:sk_9.
        _:sk_9 quant:hasUnit units:kilogramPerMeterSquare.
        _:sk_9 quant:hasValue 26.17489589530042 .
        _:sk_9 time:hasDateTime "2010-02-25T00:00:00+01:00"^^xsd:dateTime.
        _:sk_9 event:basedOn i:weightMeasurement2.
        _:sk_9 event:basedOn i:lengthMeasurement2.
    };
    r:evidence (
        skolem:lemma72
        skolem:lemma25
        skolem:lemma73
        skolem:lemma74
        [ a r:Fact; r:gives {((<https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_rules.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/weightStatus_rules.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/age_rules_backward.n3>) 1) e:optional {
            i:adult2 human:hasLength i:lengthMeasurement2.
            i:lengthMeasurement2 quant:hasUnit units:meter.
            i:lengthMeasurement2 quant:hasValue "2.05"^^xsd:decimal.
            i:lengthMeasurement2 time:hasDateTime "2010-02-25T00:00:00+01:00"^^xsd:dateTime.
        }}]
        [ a r:Fact; r:gives {((<https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_rules.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/weightStatus_rules.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/age_rules_backward.n3>) 1) e:optional {
            i:adult2 human:hasLength i:lengthMeasurement2.
            i:lengthMeasurement2 time:hasDateTime "2010-02-25T00:00:00+01:00"^^xsd:dateTime.
            i:lengthMeasurement2 quant:convertedTo _:sk_8.
            _:sk_8 quant:hasUnit units:meter.
            _:sk_8 quant:hasValue "2.05"^^xsd:decimal.
        }}]
        [ a r:Fact; r:gives {("2010-02-25T00:00:00+01:00"^^xsd:dateTime "2010-02-25T00:00:00+01:00"^^xsd:dateTime) math:difference 0}]
        [ a r:Fact; r:gives {0 math:notGreaterThan "P0M"^^xsd:duration}]
        [ a r:Fact; r:gives {0 math:notLessThan "-P0M"^^xsd:duration}]
        [ a r:Fact; r:gives {("2010-02-25T00:00:00+01:00"^^xsd:dateTime "2010-02-25T00:00:00+01:00"^^xsd:dateTime) e:max "2010-02-25T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {("2010-02-25T00:00:00+01:00" xsd:dateTime) log:dtlit "2010-02-25T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {("2010-02-25T00:00:00+01:00" xsd:dateTime) log:dtlit "2010-02-25T00:00:00+01:00"^^xsd:dateTime}]
        [ a r:Fact; r:gives {(i:adult2 "2010-02-25T00:00:00+01:00"^^xsd:dateTime) time:calculatingAge 44}]
        [ a r:Fact; r:gives {44 math:notLessThan 15}]
        [ a r:Fact; r:gives {("_weightValue/_lengthValue**2" "110"^^xsd:decimal "2.05"^^xsd:decimal) e:calculate 26.17489589530042}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult2"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#weightMeasurement2"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo "110"^^xsd:decimal];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo "2010-02-25T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo ((<https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_rules.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/weightStatus_rules.n3> <https://eyereasoner.github.io/eye/reasoning/bmi/age_rules_backward.n3>) 1)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_5"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#lengthMeasurement2"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_6"]; r:boundTo "2.05"^^xsd:decimal];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_7"]; r:boundTo "2010-02-25T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_8"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_8"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_9"]; r:boundTo 0];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_10"]; r:boundTo "2010-02-25T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_11"]; r:boundTo "2010-02-25T00:00:00+01:00"];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_12"]; r:boundTo "2010-02-25T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_13"]; r:boundTo 44];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_14"]; r:boundTo 26.17489589530042];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_15"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_9"]];
    r:rule skolem:lemma70.

skolem:lemma24 a r:Inference;
    r:gives {
        i:adult2 human:hasWeightStatus _:sk_10.
        _:sk_10 a humanbody:Overweight.
        _:sk_10 time:hasDateTime "2010-02-25T00:00:00+01:00"^^xsd:dateTime.
        _:sk_10 event:basedOn _:sk_9.
    };
    r:evidence (
        skolem:lemma23
        skolem:lemma23
        skolem:lemma23
        [ a r:Fact; r:gives {26.17489589530042 math:notLessThan 25}]
        [ a r:Fact; r:gives {26.17489589530042 math:notGreaterThan 29.9}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3#adult2"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_9"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo 26.17489589530042];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_3"]; r:boundTo "2010-02-25T00:00:00+01:00"^^xsd:dateTime];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_4"]; r:boundTo [ a r:Existential; n3:nodeId "_:sk_10"]];
    r:rule skolem:lemma75.

skolem:lemma25 a r:Extraction;
    r:gives {
        i:weightMeasurement2 quant:hasUnit units:kilogram.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma26 a r:Extraction;
    r:gives {
        i:lengthMeasurement2 quant:hasUnit units:meter.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma27 a r:Extraction;
    r:gives {
        i:adult3 physical:hasComplexity i:body1.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma28 a r:Extraction;
    r:gives {
        i:body1 a humanbody:Body.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma29 a r:Extraction;
    r:gives {
        i:body1 humanbody:hasLength i:length1.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma30 a r:Extraction;
    r:gives {
        i:body1 humanbody:hasWeight i:weight1.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma31 a r:Extraction;
    r:gives {
        i:length1 a humanbody:Length.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma32 a r:Extraction;
    r:gives {
        i:length1 quant:hasMeasurement i:lengthMeasurement3.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma33 a r:Extraction;
    r:gives {
        i:lengthMeasurement3 quant:hasValue "1.715"^^xsd:decimal.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma34 a r:Extraction;
    r:gives {
        i:lengthMeasurement3 time:hasDateTime "2010-01-20T00:00:00+01:00"^^xsd:dateTime.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma35 a r:Extraction;
    r:gives {
        i:weight1 a humanbody:Weight.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma36 a r:Extraction;
    r:gives {
        i:weight1 quant:hasMeasurement i:weightMeasurement3.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma37 a r:Extraction;
    r:gives {
        i:weightMeasurement3 quant:hasValue "45"^^xsd:decimal.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma38 a r:Extraction;
    r:gives {
        i:weightMeasurement3 time:hasDateTime "2010-01-20T00:00:00+01:00"^^xsd:dateTime.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma39 a r:Extraction;
    r:gives {
        @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4, var:x_5, var:x_6, var:x_7, var:x_8, var:x_9, var:x_10, var:x_11, var:x_12, var:x_13, var:x_14, var:x_15, var:x_16. @forSome var:x_17. {
            var:x_0 physical:hasComplexity var:x_1.
            var:x_1 a humanbody:Body.
            var:x_1 humanbody:hasLength var:x_2.
            var:x_1 humanbody:hasWeight var:x_3.
            var:x_2 a humanbody:Length.
            var:x_2 quant:hasMeasurement var:x_4.
            var:x_4 quant:hasUnit units:meter.
            var:x_4 quant:hasValue var:x_5.
            var:x_4 time:hasDateTime var:x_6.
            var:x_3 a humanbody:Weight.
            var:x_3 quant:hasMeasurement var:x_7.
            var:x_7 quant:hasUnit units:kilogram.
            var:x_7 quant:hasValue var:x_8.
            var:x_7 time:hasDateTime var:x_9.
            (var:x_9 var:x_6) math:difference var:x_10.
            var:x_10 math:notGreaterThan "P10Y"^^xsd:duration.
            var:x_10 math:notLessThan "-P7D"^^xsd:duration.
            (var:x_9 var:x_6) e:max var:x_11.
            (var:x_12 xsd:dateTime) log:dtlit var:x_11.
            (var:x_12 xsd:dateTime) log:dtlit var:x_13.
            (var:x_0 var:x_13) time:calculatingAge var:x_14.
            var:x_14 math:notLessThan 15 .
            (var:x_5 2) math:exponentiation var:x_15.
            (var:x_8 var:x_15) math:quotient var:x_16.
        } => {
            var:x_0 human:hasBodyMassIndex var:x_17.
            var:x_17 quant:hasUnit units:kilogramPerMeterSquare.
            var:x_17 quant:hasValue var:x_16.
            var:x_17 time:hasDateTime var:x_13.
            var:x_17 event:basedOn var:x_7.
            var:x_17 event:basedOn var:x_4.
        }.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_rules.n3>].

skolem:lemma40 a r:Extraction;
    r:gives {
        @forAll var:x_0, var:x_1, var:x_2, var:x_3. @forSome var:x_4. {
            var:x_0 human:hasBodyMassIndex var:x_1.
            var:x_1 quant:hasValue var:x_2.
            var:x_1 time:hasDateTime var:x_3.
            var:x_2 math:lessThan 16.
        } => {
            var:x_0 human:hasWeightStatus var:x_4.
            var:x_4 a humanbody:SeverelyUnderweight.
            var:x_4 time:hasDateTime var:x_3.
            var:x_4 event:basedOn var:x_1.
        }.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/weightStatus_rules.n3>].

skolem:lemma41 a r:Extraction;
    r:gives {
        i:adult4 physical:hasComplexity i:body2.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma42 a r:Extraction;
    r:gives {
        i:body2 a humanbody:Body.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma43 a r:Extraction;
    r:gives {
        i:body2 humanbody:hasLength i:length2.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma44 a r:Extraction;
    r:gives {
        i:body2 humanbody:hasWeight i:weight2.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma45 a r:Extraction;
    r:gives {
        i:length2 a humanbody:Length.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma46 a r:Extraction;
    r:gives {
        i:length2 quant:hasMeasurement i:lengthMeasurement4.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma47 a r:Extraction;
    r:gives {
        i:lengthMeasurement4 quant:hasValue "1.76"^^xsd:decimal.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma48 a r:Extraction;
    r:gives {
        i:lengthMeasurement4 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma49 a r:Extraction;
    r:gives {
        i:weight2 a humanbody:Weight.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma50 a r:Extraction;
    r:gives {
        i:weight2 quant:hasMeasurement i:weightMeasurement4.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma51 a r:Extraction;
    r:gives {
        i:weightMeasurement4 quant:hasValue "76"^^xsd:decimal.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma52 a r:Extraction;
    r:gives {
        i:weightMeasurement4 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma53 a r:Extraction;
    r:gives {
        @forAll var:x_0, var:x_1, var:x_2, var:x_3. @forSome var:x_4. {
            var:x_0 human:hasBodyMassIndex var:x_1.
            var:x_1 quant:hasValue var:x_2.
            var:x_1 time:hasDateTime var:x_3.
            var:x_2 math:notLessThan 18.5 .
            var:x_2 math:notGreaterThan 24.9.
        } => {
            var:x_0 human:hasWeightStatus var:x_4.
            var:x_4 a humanbody:NormalWeight.
            var:x_4 time:hasDateTime var:x_3.
            var:x_4 event:basedOn var:x_1.
        }.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/weightStatus_rules.n3>].

skolem:lemma54 a r:Extraction;
    r:gives {
        i:adult5 physical:hasComplexity i:body3.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma55 a r:Extraction;
    r:gives {
        i:body3 a humanbody:Body.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma56 a r:Extraction;
    r:gives {
        i:body3 humanbody:hasLength i:length3.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma57 a r:Extraction;
    r:gives {
        i:body3 humanbody:hasWeight i:weight3.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma58 a r:Extraction;
    r:gives {
        i:length3 a humanbody:Length.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma59 a r:Extraction;
    r:gives {
        i:length3 quant:hasMeasurement i:lengthMeasurement5.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma60 a r:Extraction;
    r:gives {
        i:lengthMeasurement5 quant:hasValue "1.715"^^xsd:decimal.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma61 a r:Extraction;
    r:gives {
        i:lengthMeasurement5 time:hasDateTime "2011-02-20T00:00:00+01:00"^^xsd:dateTime.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma62 a r:Extraction;
    r:gives {
        i:weight3 a humanbody:Weight.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma63 a r:Extraction;
    r:gives {
        i:weight3 quant:hasMeasurement i:weightMeasurement5.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma64 a r:Extraction;
    r:gives {
        i:weightMeasurement5 quant:hasValue "54"^^xsd:decimal.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma65 a r:Extraction;
    r:gives {
        i:weightMeasurement5 time:hasDateTime "2011-02-20T00:00:00+01:00"^^xsd:dateTime.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma66 a r:Extraction;
    r:gives {
        @forAll var:x_0, var:x_1, var:x_2, var:x_3. @forSome var:x_4. {
            var:x_0 human:hasBodyMassIndex var:x_1.
            var:x_1 quant:hasValue var:x_2.
            var:x_1 time:hasDateTime var:x_3.
            var:x_2 math:notLessThan 16 .
            var:x_2 math:notGreaterThan 18.4.
        } => {
            var:x_0 human:hasWeightStatus var:x_4.
            var:x_4 a humanbody:Underweight.
            var:x_4 time:hasDateTime var:x_3.
            var:x_4 event:basedOn var:x_1.
        }.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/weightStatus_rules.n3>].

skolem:lemma67 a r:Extraction;
    r:gives {
        i:adult1 human:weighs i:weightMeasurement1.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma68 a r:Extraction;
    r:gives {
        i:weightMeasurement1 quant:hasValue "200"^^xsd:decimal.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma69 a r:Extraction;
    r:gives {
        i:weightMeasurement1 time:hasDateTime "2010-02-20T00:00:00+01:00"^^xsd:dateTime.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma70 a r:Extraction;
    r:gives {
        @forAll var:x_0, var:x_1, var:x_2, var:x_3, var:x_4, var:x_5, var:x_6, var:x_7, var:x_8, var:x_9, var:x_10, var:x_11, var:x_12, var:x_13, var:x_14. @forSome var:x_15. {
            var:x_0 human:weighs var:x_1.
            var:x_1 quant:hasUnit units:kilogram.
            var:x_1 quant:hasValue var:x_2.
            var:x_1 time:hasDateTime var:x_3.
            var:x_4 e:optional {
                var:x_0 human:hasLength var:x_5.
                var:x_5 quant:hasUnit units:meter.
                var:x_5 quant:hasValue var:x_6.
                var:x_5 time:hasDateTime var:x_7.
            }.
            var:x_4 e:optional {
                var:x_0 human:hasLength var:x_5.
                var:x_5 time:hasDateTime var:x_7.
                var:x_5 quant:convertedTo var:x_8.
                var:x_8 quant:hasUnit units:meter.
                var:x_8 quant:hasValue var:x_6.
            }.
            (var:x_3 var:x_7) math:difference var:x_9.
            var:x_9 math:notGreaterThan "P0M"^^xsd:duration.
            var:x_9 math:notLessThan "-P0M"^^xsd:duration.
            (var:x_3 var:x_7) e:max var:x_10.
            (var:x_11 xsd:dateTime) log:dtlit var:x_10.
            (var:x_11 xsd:dateTime) log:dtlit var:x_12.
            (var:x_0 var:x_12) time:calculatingAge var:x_13.
            var:x_13 math:notLessThan 15 .
            ("_weightValue/_lengthValue**2" var:x_2 var:x_6) e:calculate var:x_14.
        } => {
            var:x_0 human:hasBodyMassIndex var:x_15.
            var:x_15 quant:hasUnit units:kilogramPerMeterSquare.
            var:x_15 quant:hasValue var:x_14.
            var:x_15 time:hasDateTime var:x_12.
            var:x_15 event:basedOn var:x_1.
            var:x_15 event:basedOn var:x_5.
        }.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_rules.n3>].

skolem:lemma71 a r:Extraction;
    r:gives {
        @forAll var:x_0, var:x_1, var:x_2, var:x_3. @forSome var:x_4. {
            var:x_0 human:hasBodyMassIndex var:x_1.
            var:x_1 quant:hasValue var:x_2.
            var:x_1 time:hasDateTime var:x_3.
            var:x_2 math:notLessThan 45.
        } => {
            var:x_0 human:hasWeightStatus var:x_4.
            var:x_4 a humanbody:SuperObese.
            var:x_4 time:hasDateTime var:x_3.
            var:x_4 event:basedOn var:x_1.
        }.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/weightStatus_rules.n3>].

skolem:lemma72 a r:Extraction;
    r:gives {
        i:adult2 human:weighs i:weightMeasurement2.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma73 a r:Extraction;
    r:gives {
        i:weightMeasurement2 quant:hasValue "110"^^xsd:decimal.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma74 a r:Extraction;
    r:gives {
        i:weightMeasurement2 time:hasDateTime "2010-02-25T00:00:00+01:00"^^xsd:dateTime.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/bmi_instances.n3>].

skolem:lemma75 a r:Extraction;
    r:gives {
        @forAll var:x_0, var:x_1, var:x_2, var:x_3. @forSome var:x_4. {
            var:x_0 human:hasBodyMassIndex var:x_1.
            var:x_1 quant:hasValue var:x_2.
            var:x_1 time:hasDateTime var:x_3.
            var:x_2 math:notLessThan 25 .
            var:x_2 math:notGreaterThan 29.9.
        } => {
            var:x_0 human:hasWeightStatus var:x_4.
            var:x_4 a humanbody:Overweight.
            var:x_4 time:hasDateTime var:x_3.
            var:x_4 event:basedOn var:x_1.
        }.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/bmi/weightStatus_rules.n3>].

