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


In a group of friends, Alice is taller than Bob, Bob is taller than Carol, and Carol is taller than David. If Alice is not the tallest in the group, which of the following must be true?