Given the premises 'All healthy people sleep well' and 'Some students do not sleep well', which of the following statements must be logically true?