#Processed by EYE v20.1020.2137 josd
#eye --no-genid --nope http://josd.github.io/eye/reasoning/streason/streason-rules.n3 --turtle - --streaming-reasoning

<http://josd.github.io/eye/reasoning#i8453> <http://josd.github.io/eye/reasoning#i32> <http://josd.github.io/eye/reasoning#i7808>.
<http://josd.github.io/eye/reasoning#i7808> <http://josd.github.io/eye/reasoning#i32> _:sk_0.
_:sk_0 <http://josd.github.io/eye/reasoning#p> <http://josd.github.io/eye/reasoning#i8453>.
_:sk_0 <http://josd.github.io/eye/reasoning#p> 4.
<http://josd.github.io/eye/reasoning#i7808> <http://josd.github.io/eye/reasoning#i32> "s5".
<http://josd.github.io/eye/reasoning#i7808> <http://josd.github.io/eye/reasoning#i32> <http://josd.github.io/eye/reasoning#a>.
<http://josd.github.io/eye/reasoning#i7808> <http://josd.github.io/eye/reasoning#i32> _:sk_1.
_:sk_1 <http://josd.github.io/eye/reasoning#q> <http://josd.github.io/eye/reasoning#i8453>.
_:sk_1 <http://josd.github.io/eye/reasoning#q> 9.
<http://josd.github.io/eye/reasoning#i7808> <http://josd.github.io/eye/reasoning#i32> <http://josd.github.io/eye/reasoning#r10>.
<http://josd.github.io/eye/reasoning#i6833> <http://josd.github.io/eye/reasoning#i58> <http://josd.github.io/eye/reasoning#i8560>.
<http://josd.github.io/eye/reasoning#i8560> <http://josd.github.io/eye/reasoning#i58> _:sk_2.
_:sk_2 <http://josd.github.io/eye/reasoning#p> <http://josd.github.io/eye/reasoning#i6833>.
_:sk_2 <http://josd.github.io/eye/reasoning#p> 4.
<http://josd.github.io/eye/reasoning#i8560> <http://josd.github.io/eye/reasoning#i58> "s5".
<http://josd.github.io/eye/reasoning#i8560> <http://josd.github.io/eye/reasoning#i58> <http://josd.github.io/eye/reasoning#a>.
<http://josd.github.io/eye/reasoning#i8560> <http://josd.github.io/eye/reasoning#i58> _:sk_3.
_:sk_3 <http://josd.github.io/eye/reasoning#q> <http://josd.github.io/eye/reasoning#i6833>.
_:sk_3 <http://josd.github.io/eye/reasoning#q> 9.
<http://josd.github.io/eye/reasoning#i8560> <http://josd.github.io/eye/reasoning#i58> <http://josd.github.io/eye/reasoning#r10>.
<http://josd.github.io/eye/reasoning#i4042> <http://josd.github.io/eye/reasoning#i87> <http://josd.github.io/eye/reasoning#i9347>.
<http://josd.github.io/eye/reasoning#i9347> <http://josd.github.io/eye/reasoning#i87> _:sk_4.
_:sk_4 <http://josd.github.io/eye/reasoning#p> <http://josd.github.io/eye/reasoning#i4042>.
_:sk_4 <http://josd.github.io/eye/reasoning#p> 4.
<http://josd.github.io/eye/reasoning#i9347> <http://josd.github.io/eye/reasoning#i87> "s5".
<http://josd.github.io/eye/reasoning#i9347> <http://josd.github.io/eye/reasoning#i87> <http://josd.github.io/eye/reasoning#a>.
<http://josd.github.io/eye/reasoning#i9347> <http://josd.github.io/eye/reasoning#i87> _:sk_5.
_:sk_5 <http://josd.github.io/eye/reasoning#q> <http://josd.github.io/eye/reasoning#i4042>.
_:sk_5 <http://josd.github.io/eye/reasoning#q> 9.
<http://josd.github.io/eye/reasoning#i9347> <http://josd.github.io/eye/reasoning#i87> <http://josd.github.io/eye/reasoning#r10>.
<http://josd.github.io/eye/reasoning#i5058> <http://josd.github.io/eye/reasoning#i20> <http://josd.github.io/eye/reasoning#i8380>.
<http://josd.github.io/eye/reasoning#i8380> <http://josd.github.io/eye/reasoning#i20> _:sk_6.
_:sk_6 <http://josd.github.io/eye/reasoning#p> <http://josd.github.io/eye/reasoning#i5058>.
_:sk_6 <http://josd.github.io/eye/reasoning#p> 4.
<http://josd.github.io/eye/reasoning#i8380> <http://josd.github.io/eye/reasoning#i20> "s5".
<http://josd.github.io/eye/reasoning#i8380> <http://josd.github.io/eye/reasoning#i20> <http://josd.github.io/eye/reasoning#a>.
<http://josd.github.io/eye/reasoning#i8380> <http://josd.github.io/eye/reasoning#i20> _:sk_7.
_:sk_7 <http://josd.github.io/eye/reasoning#q> <http://josd.github.io/eye/reasoning#i5058>.
_:sk_7 <http://josd.github.io/eye/reasoning#q> 9.
<http://josd.github.io/eye/reasoning#i8380> <http://josd.github.io/eye/reasoning#i20> <http://josd.github.io/eye/reasoning#r10>.
<http://josd.github.io/eye/reasoning#i5510> <http://josd.github.io/eye/reasoning#i29> <http://josd.github.io/eye/reasoning#i5705>.
<http://josd.github.io/eye/reasoning#i5705> <http://josd.github.io/eye/reasoning#i29> _:sk_8.
_:sk_8 <http://josd.github.io/eye/reasoning#p> <http://josd.github.io/eye/reasoning#i5510>.
_:sk_8 <http://josd.github.io/eye/reasoning#p> 4.
<http://josd.github.io/eye/reasoning#i5705> <http://josd.github.io/eye/reasoning#i29> "s5".
<http://josd.github.io/eye/reasoning#i5705> <http://josd.github.io/eye/reasoning#i29> <http://josd.github.io/eye/reasoning#a>.
<http://josd.github.io/eye/reasoning#i5705> <http://josd.github.io/eye/reasoning#i29> _:sk_9.
_:sk_9 <http://josd.github.io/eye/reasoning#q> <http://josd.github.io/eye/reasoning#i5510>.
_:sk_9 <http://josd.github.io/eye/reasoning#q> 9.
<http://josd.github.io/eye/reasoning#i5705> <http://josd.github.io/eye/reasoning#i29> <http://josd.github.io/eye/reasoning#r10>.
<http://josd.github.io/eye/reasoning#i4137> <http://josd.github.io/eye/reasoning#i87> <http://josd.github.io/eye/reasoning#i7913>.
<http://josd.github.io/eye/reasoning#i7913> <http://josd.github.io/eye/reasoning#i87> _:sk_10.
_:sk_10 <http://josd.github.io/eye/reasoning#p> <http://josd.github.io/eye/reasoning#i4137>.
_:sk_10 <http://josd.github.io/eye/reasoning#p> 4.
<http://josd.github.io/eye/reasoning#i7913> <http://josd.github.io/eye/reasoning#i87> "s5".
<http://josd.github.io/eye/reasoning#i7913> <http://josd.github.io/eye/reasoning#i87> <http://josd.github.io/eye/reasoning#a>.
<http://josd.github.io/eye/reasoning#i7913> <http://josd.github.io/eye/reasoning#i87> _:sk_11.
_:sk_11 <http://josd.github.io/eye/reasoning#q> <http://josd.github.io/eye/reasoning#i4137>.
_:sk_11 <http://josd.github.io/eye/reasoning#q> 9.
<http://josd.github.io/eye/reasoning#i7913> <http://josd.github.io/eye/reasoning#i87> <http://josd.github.io/eye/reasoning#r10>.
<http://josd.github.io/eye/reasoning#i8925> <http://josd.github.io/eye/reasoning#i4> <http://josd.github.io/eye/reasoning#i8172>.
<http://josd.github.io/eye/reasoning#i8172> <http://josd.github.io/eye/reasoning#i4> _:sk_12.
_:sk_12 <http://josd.github.io/eye/reasoning#p> <http://josd.github.io/eye/reasoning#i8925>.
_:sk_12 <http://josd.github.io/eye/reasoning#p> 4.
<http://josd.github.io/eye/reasoning#i8172> <http://josd.github.io/eye/reasoning#i4> "s5".
<http://josd.github.io/eye/reasoning#i8172> <http://josd.github.io/eye/reasoning#i4> <http://josd.github.io/eye/reasoning#a>.
<http://josd.github.io/eye/reasoning#i8172> <http://josd.github.io/eye/reasoning#i4> _:sk_13.
_:sk_13 <http://josd.github.io/eye/reasoning#q> <http://josd.github.io/eye/reasoning#i8925>.
_:sk_13 <http://josd.github.io/eye/reasoning#q> 9.
<http://josd.github.io/eye/reasoning#i8172> <http://josd.github.io/eye/reasoning#i4> <http://josd.github.io/eye/reasoning#r10>.
<http://josd.github.io/eye/reasoning#i8606> <http://josd.github.io/eye/reasoning#i58> <http://josd.github.io/eye/reasoning#i8307>.
<http://josd.github.io/eye/reasoning#i8307> <http://josd.github.io/eye/reasoning#i58> _:sk_14.
_:sk_14 <http://josd.github.io/eye/reasoning#p> <http://josd.github.io/eye/reasoning#i8606>.
_:sk_14 <http://josd.github.io/eye/reasoning#p> 4.
<http://josd.github.io/eye/reasoning#i8307> <http://josd.github.io/eye/reasoning#i58> "s5".
<http://josd.github.io/eye/reasoning#i8307> <http://josd.github.io/eye/reasoning#i58> <http://josd.github.io/eye/reasoning#a>.
<http://josd.github.io/eye/reasoning#i8307> <http://josd.github.io/eye/reasoning#i58> _:sk_15.
_:sk_15 <http://josd.github.io/eye/reasoning#q> <http://josd.github.io/eye/reasoning#i8606>.
_:sk_15 <http://josd.github.io/eye/reasoning#q> 9.
<http://josd.github.io/eye/reasoning#i8307> <http://josd.github.io/eye/reasoning#i58> <http://josd.github.io/eye/reasoning#r10>.
<http://josd.github.io/eye/reasoning#i6433> <http://josd.github.io/eye/reasoning#i38> <http://josd.github.io/eye/reasoning#i5952>.
<http://josd.github.io/eye/reasoning#i5952> <http://josd.github.io/eye/reasoning#i38> _:sk_16.
_:sk_16 <http://josd.github.io/eye/reasoning#p> <http://josd.github.io/eye/reasoning#i6433>.
_:sk_16 <http://josd.github.io/eye/reasoning#p> 4.
<http://josd.github.io/eye/reasoning#i5952> <http://josd.github.io/eye/reasoning#i38> "s5".
<http://josd.github.io/eye/reasoning#i5952> <http://josd.github.io/eye/reasoning#i38> <http://josd.github.io/eye/reasoning#a>.
<http://josd.github.io/eye/reasoning#i5952> <http://josd.github.io/eye/reasoning#i38> _:sk_17.
_:sk_17 <http://josd.github.io/eye/reasoning#q> <http://josd.github.io/eye/reasoning#i6433>.
_:sk_17 <http://josd.github.io/eye/reasoning#q> 9.
<http://josd.github.io/eye/reasoning#i5952> <http://josd.github.io/eye/reasoning#i38> <http://josd.github.io/eye/reasoning#r10>.
true <http://josd.github.io/eye/reasoning#r5> (<http://josd.github.io/eye/reasoning#i4181> <http://josd.github.io/eye/reasoning#i8> <http://josd.github.io/eye/reasoning#i9462>).
(<http://josd.github.io/eye/reasoning#i4181> <http://josd.github.io/eye/reasoning#i8> <http://josd.github.io/eye/reasoning#i9462>) <http://josd.github.io/eye/reasoning#r5> _:sk_18.
_:sk_18 <http://josd.github.io/eye/reasoning#p> true.
_:sk_18 <http://josd.github.io/eye/reasoning#p> 4.
(<http://josd.github.io/eye/reasoning#i4181> <http://josd.github.io/eye/reasoning#i8> <http://josd.github.io/eye/reasoning#i9462>) <http://josd.github.io/eye/reasoning#r5> "s5".
(<http://josd.github.io/eye/reasoning#i4181> <http://josd.github.io/eye/reasoning#i8> <http://josd.github.io/eye/reasoning#i9462>) <http://josd.github.io/eye/reasoning#r5> <http://josd.github.io/eye/reasoning#a>.
(<http://josd.github.io/eye/reasoning#i4181> <http://josd.github.io/eye/reasoning#i8> <http://josd.github.io/eye/reasoning#i9462>) <http://josd.github.io/eye/reasoning#r5> _:sk_19.
_:sk_19 <http://josd.github.io/eye/reasoning#q> true.
_:sk_19 <http://josd.github.io/eye/reasoning#q> 9.
(<http://josd.github.io/eye/reasoning#i4181> <http://josd.github.io/eye/reasoning#i8> <http://josd.github.io/eye/reasoning#i9462>) <http://josd.github.io/eye/reasoning#r5> <http://josd.github.io/eye/reasoning#r10>.
(<http://josd.github.io/eye/reasoning#i8> <http://josd.github.io/eye/reasoning#i9462> 9 <http://josd.github.io/eye/reasoning#i4181>) <http://josd.github.io/eye/reasoning#r9> true.
#2020-10-23T20:17:19.456Z in=16 out=101 ent=0 step=0 brake=0 inf=31248 sec=0.033 inf/sec=946909
#ENDS

