Partial naive implementation of 'check'

Only checks if the statements are already asserted or inferred in the knowledge base. Does not
check if 'adding the statements would lead to an inconsistency', which is the real semantic of
check.