... the context.
In formal logic, "contradiction" has a ... inconsistent -- there is no model in classical logic in which all three ... true. But there are no contradictions in this set because none ... cat, "all cats have no hair" contradicts "all cats ...