Quelques chiffres

On admet étant vrai : "Toutes les voitures sont vertes. Tous les arbres sont verts. Toutes les voitures mangent de la verdure".
On en déduit donc une des 3 possibilités suivantes :
A. Les voitures se dévorent elles-mêmes
B. Les voitures sont des arbres
C. Tout ce qui est vert est soit une voiture soit un arbre.

Quelle proposition est exacte ?