... wffs are contradictions of each other. For example, consider the set ... are direct negations of each other.
On the ... no hair" is a counterexample to the general claim "all cats ... usually a bit broader and apply to any set of inconsistent sentences ...