public override string ToString() { StringBuilder stringValue = new StringBuilder(); stringValue.Append("KnowledgeBase\n"); stringValue.Append("assertions:\n"); stringValue.Append(itsAssertions.ToString()); stringValue.Append("inferences:\n"); stringValue.Append(itsInferences.ToString()); return(stringValue.ToString()); }