Unable to implement propertyChainAxiom

[cosmicexotic]

I wrote a rule like:

<had> <http://www.w3.org/2002/07/owl#propertyChainAxiom> <http://1> .   
<http://1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#List> .
<http://1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <include> .
<http://1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://2> .
<http://2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <has> .
<http://2>  <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<a> <include> <b> .
<b> <has> <c> .

it should get:
<a> <had> <c>
but i got nothing?
is there anything wrong?

[gtfierro]

You can see in the README I have not implemented prp-spo2 for the propertyChainAxiom reasoning