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.
we conducted experiments to evaluate how well AUCONTRAIRE distinguishes genuine contradictions from false positives.