First version of INFeReNCZy is available for downloading. This first release comes with no examples of knowledge base but in next release It will. At the moment the inference engine supports forward chaining and refraction for rule conflict resolution.