Contrapositive and Contradiction · Hard problem

$ab$ is rational

$a$ is rational, $a \ne 0$, and $b$ is irrational

$a$ is rational, $a \ne 0$, $b$ is irrational, and $ab$ is rational

$a$ is irrational or $b$ is rational