Reply To: Multi-inference

[Unknown]

I tried it in both versions. Sets consider this:
if A is a and B is b then C is c
if D is d and E is e then F is f
if C is c and F is f then G is g
The last inference level (if C is c and F is f then G is g) does not produce any results for me neither higher levels of inference algorithm. What should I take care of?