Tier V — BaccalaureateProving Invalidity by CounterexampleThe row, translated back into sentences whose truth values nobody disputesContinue