A se todas as flores não são vermelhas, então o jardim não é bonito;
B se uma flor é amarela, então o jardim não é bonito;
C se o jardim é bonito, então todas as flores são vermelhas;
D se o jardim não é bonito, então todas as flores não são vermelhas;
E se o jardim não é bonito, então pelo menos uma flor não é vermelha.