Dave is cold. Dave is red. Dave is not rough. Dave is not round. Dave is smart. Dave is not white. Dave is young. Harry is cold. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is not white. Harry is young. If Dave is smart and Dave is not young then Dave is round. If Harry is not red then Harry is round.
Harry is red.