Bob is cold. Bob is kind. Bob is nice. Bob is red. Bob is smart. Bob is white. Charlie is quiet. Gary is cold. Gary is nice. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is smart. Harry is white. Smart, nice things are cold. If Charlie is red and Charlie is quiet then Charlie is white. Quiet, white things are cold.
Harry is not smart.