Assume that: All squares are rectangles. Some rectangles are red. No circles are rectangles. Which of the following statements must be true?