Anne is kind. Anne is nice. Anne is red. Anne is smart. Anne is white. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Dave is red. Dave is rough. Dave is smart. Harry is kind. Harry is rough. Harry is white. If something is red and round then it is white. If something is white then it is nice. If Dave is red and Dave is smart then Dave is round.
Dave is not round.