@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 : <http://www.example.org/patientdescriptions/>.
@prefix dco: <http://www.debugit.eu/ontology/1.0/dco.owl#>.
@prefix fl: <http://eulersharp.sourceforge.net/2003/03swap/fl-rules#>.
@prefix n3: <http://www.w3.org/2004/06/rei#>.
@prefix var: <http://www.w3.org/2000/10/swap/var#>.

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:component skolem:lemma6;
    r:component skolem:lemma7;
    r:component skolem:lemma8;
    r:component skolem:lemma9;
    r:component skolem:lemma10;
    r:component skolem:lemma11;
    r:component skolem:lemma12;
    r:component skolem:lemma13;
    r:component skolem:lemma14;
    r:component skolem:lemma15;
    r:component skolem:lemma16;
    r:component skolem:lemma17;
    r:component skolem:lemma18;
    r:gives {
        (:patient008 dco:SimpleUrinaryTractInfection false) fl:gpi (0.15609492798580316 0.24989839953254675).
        (:patient008 dco:SimpleAcuteCystitis false) fl:gpi (0.5 0.6818062399896525).
        (:patient008 dco:ComplicatedUrinaryTractInfection false) fl:gpi (0.9962884114614465 0.9975150883686373).
        (:patient008 dco:SimpleAcutePyelonephritis false) fl:gpi (0.9352648821737795 0.9575078825964835).
        (:patient008 dco:ComplicatedAcutePyelonephritis false) fl:gpi (0.3181937600103475 0.5).
        (:patient008 dco:PregnancyUrinaryTractInfection false) fl:gpi (0.6968116667552052 0.7501016004674532).
        (:patient008 dco:ObstructiveUropathy false) fl:gpi (0.3181937600103475 0.3181937600103475).
        (:patient008 dco:PregnancyObstructiveUropathy false) fl:gpi (0.6497482370328734 0.6818062399896525).
        (:patient008 dco:ComplicatedAcutePregnancyPyelonephritis false) fl:gpi (0.5968726072149699 0.7501016004674533).
        (:patient008 dco:AcuteProstatis false) fl:gpi (0.9950831899235624 0.9954629272837167).
        (:patient008 dco:Fever false) fl:gpi (0.8 1).
        (:patient008 dco:UrineDipstickTest false) fl:gpi (1 1).
        (:patient008 dco:Chills false) fl:gpi (1 1).
        (:patient008 dco:DiabetesMellitus false) fl:gpi (0 0).
        (:patient008 dco:Male false) fl:gpi (1 1).
        (:patient008 dco:Old false) fl:gpi (1 1).
        (:patient008 dco:Dysuria false) fl:gpi (1 1).
        (:patient008 dco:DigitalRectalExamination false) fl:gpi (1 1).
    }.

skolem:lemma1 a r:Inference;
    r:gives {
        (:patient008 dco:SimpleUrinaryTractInfection false) fl:gpi (0.15609492798580316 0.24989839953254675).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:SimpleUrinaryTractInfection false) fl:gpi (0.15609492798580316 0.24989839953254675)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (0.15609492798580316 0.24989839953254675)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#SimpleUrinaryTractInfection"]];
    r:rule skolem:lemma19.

skolem:lemma2 a r:Inference;
    r:gives {
        (:patient008 dco:SimpleAcuteCystitis false) fl:gpi (0.5 0.6818062399896525).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:SimpleAcuteCystitis false) fl:gpi (0.5 0.6818062399896525)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (0.5 0.6818062399896525)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#SimpleAcuteCystitis"]];
    r:rule skolem:lemma19.

skolem:lemma3 a r:Inference;
    r:gives {
        (:patient008 dco:ComplicatedUrinaryTractInfection false) fl:gpi (0.9962884114614465 0.9975150883686373).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:ComplicatedUrinaryTractInfection false) fl:gpi (0.9962884114614465 0.9975150883686373)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (0.9962884114614465 0.9975150883686373)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#ComplicatedUrinaryTractInfection"]];
    r:rule skolem:lemma19.

skolem:lemma4 a r:Inference;
    r:gives {
        (:patient008 dco:SimpleAcutePyelonephritis false) fl:gpi (0.9352648821737795 0.9575078825964835).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:SimpleAcutePyelonephritis false) fl:gpi (0.9352648821737795 0.9575078825964835)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (0.9352648821737795 0.9575078825964835)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#SimpleAcutePyelonephritis"]];
    r:rule skolem:lemma19.

skolem:lemma5 a r:Inference;
    r:gives {
        (:patient008 dco:ComplicatedAcutePyelonephritis false) fl:gpi (0.3181937600103475 0.5).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:ComplicatedAcutePyelonephritis false) fl:gpi (0.3181937600103475 0.5)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (0.3181937600103475 0.5)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#ComplicatedAcutePyelonephritis"]];
    r:rule skolem:lemma19.

skolem:lemma6 a r:Inference;
    r:gives {
        (:patient008 dco:PregnancyUrinaryTractInfection false) fl:gpi (0.6968116667552052 0.7501016004674532).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:PregnancyUrinaryTractInfection false) fl:gpi (0.6968116667552052 0.7501016004674532)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (0.6968116667552052 0.7501016004674532)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#PregnancyUrinaryTractInfection"]];
    r:rule skolem:lemma19.

skolem:lemma7 a r:Inference;
    r:gives {
        (:patient008 dco:ObstructiveUropathy false) fl:gpi (0.3181937600103475 0.3181937600103475).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:ObstructiveUropathy false) fl:gpi (0.3181937600103475 0.3181937600103475)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (0.3181937600103475 0.3181937600103475)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#ObstructiveUropathy"]];
    r:rule skolem:lemma19.

skolem:lemma8 a r:Inference;
    r:gives {
        (:patient008 dco:PregnancyObstructiveUropathy false) fl:gpi (0.6497482370328734 0.6818062399896525).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:PregnancyObstructiveUropathy false) fl:gpi (0.6497482370328734 0.6818062399896525)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (0.6497482370328734 0.6818062399896525)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#PregnancyObstructiveUropathy"]];
    r:rule skolem:lemma19.

skolem:lemma9 a r:Inference;
    r:gives {
        (:patient008 dco:ComplicatedAcutePregnancyPyelonephritis false) fl:gpi (0.5968726072149699 0.7501016004674533).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:ComplicatedAcutePregnancyPyelonephritis false) fl:gpi (0.5968726072149699 0.7501016004674533)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (0.5968726072149699 0.7501016004674533)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#ComplicatedAcutePregnancyPyelonephritis"]];
    r:rule skolem:lemma19.

skolem:lemma10 a r:Inference;
    r:gives {
        (:patient008 dco:AcuteProstatis false) fl:gpi (0.9950831899235624 0.9954629272837167).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:AcuteProstatis false) fl:gpi (0.9950831899235624 0.9954629272837167)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (0.9950831899235624 0.9954629272837167)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#AcuteProstatis"]];
    r:rule skolem:lemma19.

skolem:lemma11 a r:Inference;
    r:gives {
        (:patient008 dco:Fever false) fl:gpi (0.8 1).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:Fever false) fl:gpi (0.8 1)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (0.8 1)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#Fever"]];
    r:rule skolem:lemma19.

skolem:lemma12 a r:Inference;
    r:gives {
        (:patient008 dco:UrineDipstickTest false) fl:gpi (1 1).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:UrineDipstickTest false) fl:gpi (1 1)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (1 1)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#UrineDipstickTest"]];
    r:rule skolem:lemma19.

skolem:lemma13 a r:Inference;
    r:gives {
        (:patient008 dco:Chills false) fl:gpi (1 1).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:Chills false) fl:gpi (1 1)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (1 1)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#Chills"]];
    r:rule skolem:lemma19.

skolem:lemma14 a r:Inference;
    r:gives {
        (:patient008 dco:DiabetesMellitus false) fl:gpi (0 0).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:DiabetesMellitus false) fl:gpi (0 0)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (0 0)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#DiabetesMellitus"]];
    r:rule skolem:lemma19.

skolem:lemma15 a r:Inference;
    r:gives {
        (:patient008 dco:Male false) fl:gpi (1 1).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:Male false) fl:gpi (1 1)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (1 1)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#Male"]];
    r:rule skolem:lemma19.

skolem:lemma16 a r:Inference;
    r:gives {
        (:patient008 dco:Old false) fl:gpi (1 1).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:Old false) fl:gpi (1 1)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (1 1)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#Old"]];
    r:rule skolem:lemma19.

skolem:lemma17 a r:Inference;
    r:gives {
        (:patient008 dco:Dysuria false) fl:gpi (1 1).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:Dysuria false) fl:gpi (1 1)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (1 1)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#Dysuria"]];
    r:rule skolem:lemma19.

skolem:lemma18 a r:Inference;
    r:gives {
        (:patient008 dco:DigitalRectalExamination false) fl:gpi (1 1).
    };
    r:evidence (
        [ a r:Fact; r:gives {(:patient008 dco:DigitalRectalExamination false) fl:gpi (1 1)}]
    );
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_2"]; r:boundTo (1 1)];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_0"]; r:boundTo [ n3:uri "http://www.example.org/patientdescriptions/patient008"]];
    r:binding [ r:variable [ n3:uri "http://www.w3.org/2000/10/swap/var#x_1"]; r:boundTo [ n3:uri "http://www.debugit.eu/ontology/1.0/dco.owl#DigitalRectalExamination"]];
    r:rule skolem:lemma19.

skolem:lemma19 a r:Extraction;
    r:gives {
        @forAll var:x_0, var:x_1, var:x_2. {
            (var:x_0 var:x_1 false) fl:gpi var:x_2.
        } => {
            (var:x_0 var:x_1 false) fl:gpi var:x_2.
        }.
    };
    r:because [ a r:Parsing; r:source <https://eyereasoner.github.io/eye/reasoning/fgcm/fgcm-query.n3>].

