the.com/subcontrary
Two claims that can both be true, but never both false at once.
logic originFrom Aristotle's square of opposition diagram
the ruleAt least one must be true, always
example pairSome cats fly; some cats do not
geometry tooNames a circle inside another touching internally
opposite kinContraries can both be false, never both true