Example four is a must be true- "properly concluded" is another way to frame the idea that an answer choice is supported by the stimulus. The best approach to solve a must be true is to diagram (if you prefer to diagram) the sufficient and necessary statements, as well as the quantifiers, and to ensure you have a good understanding of the stimulus. If an answer choice cannot be proved true by the stimulus, then it is incorrect.
