adjusted fwdchaining to intelligent for all inference methods