AIMA.Core.Logic.Propositional.Algorithms.KnowledgeBase.tell C# (CSharp) Method

        public void tell(String aSentence)
        {
            Sentence sentence = (Sentence)parser.parse(aSentence);
            if (!(sentences.Contains(sentence)))
            {
                sentences.Add(sentence);
            }
        }

 public bool plResolution(String kbs, String alphaString)
 {
     KnowledgeBase kb = new KnowledgeBase();
     kb.tell(kbs);
     Sentence alpha = (Sentence)new PEParser().parse(alphaString);
     return plResolution(kb, alpha);
 }