

def tt_entails(knowledge_base, sentence):
    """Checks if a knowledge base entails a given sentence
    :param knowledge_base: (list) Knowledge base of sentences
    :param sentence: A sentence in propositional logic
    :return: (boolean) does the knowledge base entail the given sentence.
    """
    return False
