If the cherries are either on a warning list or are red, then they are not healthy and do not contain any amount of vitamin C.
On(cherry, warningList) ⊕ RedFruit(cherry)) → ¬(BeneficialTo(cherry, people) ∧ Contain(cherry, vitaminC)