Se o jardim não é florido, então o gato mia. Se o jardim é florido então o passarinho não canta. Ora, o passarinho canta, logo: *​