Dois mais dois são quatro e dois vezes três é maior que cinco.

Dois mais dois são quatro e dois vezes três é seis.

Se dois mais dois não são quatro, então dois vezes três é menor que cinco.

Dois mais dois não é menor que cinco e dois vezes três é quatro.

Dois mais dois são quatro ou dois vezes três não é menor que cinco.