Charlie is green. Charlie is not quiet. Charlie is rough. Charlie is smart. Charlie is white. Dave is green. Dave is quiet. Dave is red. Dave is rough. Dave is round. Dave is not smart. Dave is white. Harry is green. Harry is red. Harry is rough. Harry is round. If Charlie is not quiet then Charlie is white. If someone is not rough then they are round. If someone is not red and not green then they are not rough.
Harry is not round.