Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is white. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Dave is young. Harry is green. Harry is quiet. Harry is rough. Harry is round. Harry is white. Harry is young. If Dave is green and Dave is young then Dave is white. All nice people are green.
Dave is green.