FOL-Inference-Resolution First-order resolution based inference resolution algorithm to evaluate query responses in a given Knowledge Base