Forward Chaining Inference Engine