Dave is cold. Dave is red. Dave is young. Gary is cold. Gary is round. Harry is cold. Harry is nice. Harry is red. Harry is white. Harry is young. If something is red then it is nice. If something is young and round then it is cold. All round, white things are cold. Round things are smart. All young things are round. If Harry is nice then Harry is smart. White, nice things are cold. Round, smart things are red.
Dave is not smart.