Dave is cold. Dave is kind. Dave is nice. Dave is red. Dave is round. Dave is smart. Dave is young. Harry is cold. Harry is kind. Harry is nice. Harry is red. Harry is round. Harry is smart. Harry is young. If Harry is round then Harry is nice. If Dave is cold and Dave is young then Dave is red. All nice things are smart.
Dave is red.