Inference using DeductionRule with EvaluationLink as argument
to the rule. ModusPonensRule is disabled