You are given a knowledge base and a query sentence, and you need to determine if the query can be inferred from the information given in the knowledge base. You are required to use backward-chaining to solve this problem.