Anne is smart. Anne is young. Bob is kind. Bob is smart. Charlie is kind. Charlie is rough. Charlie is smart. Gary is cold. Gary is nice. Gary is rough. Rough people are smart. If Bob is rough then Bob is smart.
Charlie is smart.