Wir wollen beweisen, dass alles, was nicht rot ist, blau ist.  Wir nehmen das  Gegenteil an: Alles was rot ist, ist blau.  Offensichtlich wird dadurch die Eindeutigkeit verletzt: Widerspruch.  Folglich gilt: Alles was nicht rot ist, ist blau.