But other types of contradictions can only be detected with the help of a body of background knowledge K: In these cases, T and H alone are mutually consistent.
a contradiction between T and H arises only in the context of K. : Consider the example of Mozart's birthplace in the introduction.