'Add the sentence\'s clauses to the KB
Examples
>>> from sympy.logic.inference import PropKB
>>> from sympy.abc import x, y
>>> l = PropKB()
>>> l.clauses
>>> l.tell(x | y)
>>> l.clauses
[x | y]
>>> l.tell(y)
>>> l.clauses
[y, x | y]'

def tell(self, sentence):

    for c in conjuncts(to_cnf(sentence)):
        self.clauses_.add(c)
