Carlos não é inteligente, e Gisele não é honesta.

Se Carlos é inteligente, então Gisele é honesta.

Carlos não é inteligente, ou Gisele não é honesta.

Se Carlos não é inteligente, então Gisele não é honesta.