deE.n3 1.84 KB
Newer Older
josd's avatar
josd committed
1
#Processed by EYE v19.0116.1239 josd
josd's avatar
josd committed
2
#eye --n3 http://josd.github.io/eye/reasoning/de/de.n3 --n3 http://josd.github.io/eye/reasoning/de/deA.n3 --query http://josd.github.io/eye/reasoning/de/deQ.n3
josd's avatar
josd committed
3

josd's avatar
josd committed
4
PREFIX : <http://josd.github.io/eye/reasoning#>
josd's avatar
josd committed
5 6 7 8 9
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>

[] a r:Proof, r:Conjunction;
  r:component <#lemma1>;
  r:gives {
10
    _:e_anon_1 :saying :C.
josd's avatar
josd committed
11 12 13 14
  }.

<#lemma1> a r:Inference;
  r:gives {
15
    _:e_anon_1 :saying :C.
josd's avatar
josd committed
16 17 18 19 20 21 22 23
  };
  r:evidence (
    <#lemma2>
  );
  r:rule <#lemma3>.

<#lemma2> a r:Inference;
  r:gives {
24
    _:e_anon_1 :saying :C.
josd's avatar
josd committed
25 26 27 28 29 30 31 32 33 34
  };
  r:evidence (
    <#lemma4>
  );
  r:rule <#lemma5>.

<#lemma3> a r:Extraction;
  r:gives {
    {?x_0_1 :saying :C} => {?x_0_1 :saying :C}.
  };
josd's avatar
josd committed
35
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/de/deQ.n3>].
josd's avatar
josd committed
36 37 38

<#lemma4> a r:Inference;
  r:gives {
39
    _:e_anon_1 :saying :A.
josd's avatar
josd committed
40 41 42 43 44 45 46 47 48 49
  };
  r:evidence (
    <#lemma6>
  );
  r:rule <#lemma7>.

<#lemma5> a r:Extraction;
  r:gives {
    {?x_0_2 :saying :A} => {?x_0_2 :saying :C}.
  };
josd's avatar
josd committed
50
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/de/de.n3>].
josd's avatar
josd committed
51 52 53

<#lemma6> a r:Inference;
  r:gives {
54
    _:e_anon_1 :not_saying :B.
josd's avatar
josd committed
55 56 57 58 59 60 61 62 63 64
  };
  r:evidence (
    <#lemma8>
  );
  r:rule <#lemma9>.

<#lemma7> a r:Extraction;
  r:gives {
    {?x_0_3 :not_saying :B} => {?x_0_3 :saying :A}.
  };
josd's avatar
josd committed
65
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/de/de.n3>].
josd's avatar
josd committed
66 67 68

<#lemma8> a r:Extraction;
  r:gives {
69
    _:e_anon_1 :not_saying :C.
josd's avatar
josd committed
70
  };
josd's avatar
josd committed
71
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/de/deA.n3>].
josd's avatar
josd committed
72 73 74 75 76

<#lemma9> a r:Extraction;
  r:gives {
    {?x_0_4 :not_saying :C} => {?x_0_4 :not_saying :B}.
  };
josd's avatar
josd committed
77
  r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/de/de.n3>].
josd's avatar
josd committed
78

josd's avatar
josd committed
79
#2019-01-19T23:06:20.749Z in=8 out=1 ent=6 step=18 brake=3 inf=29241 sec=0.034 inf/sec=860029
josd's avatar
josd committed
80 81
#ENDS