Dave is round. Dave is smart. Gary is blue. Gary is cold. Gary is not nice. Gary is quiet. Gary is red. Gary is round. Gary is not smart. Harry is red. If something is not round then it is smart.
Harry is smart.