Bob is cold. Bob is nice. Bob is round. Bob is smart. Charlie is cold. Charlie is nice. Gary is cold. Gary is rough. Harry is cold. Harry is rough. Harry is round. Harry is young. If someone is smart and cold then they are young. If someone is rough then they are red. If someone is nice and cold then they are round. If Harry is smart and Harry is young then Harry is red. All cold, smart people are rough. All red people are round. If someone is round then they are young. If someone is young then they are smart.
Gary is not smart.