Slim cried, "Hi, Red!" and waved cheerfully, still blinking the sleep out of himself.
Slim saw Red, but didn't say anything to him.
mnli hypothesis: Slim saw Red, but didn't say anything to him. premise: Slim cried, "Hi, Red!" and waved cheerfully, still blinking the sleep out of himself.