If all fruits are vegetables and some vegetables are red, which of the following statements is necessarily true?