Se a Terra é chata, então a Lua não é um planeta.

Se a Lua não é um planeta, então a Terra não é chata.

A Terra não é chata e a Lua não é um planeta.

A Terra não é chata ou a Lua é um planeta.

A Terra não é chata se a Lua não é um planeta.