Contradiction Patterns

In proof by contradiction, assume the target claim is false and drive the assumption to something impossible, often a parity clash or a definition failure.