Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is rough. Bob is round. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Harry is green. Harry is nice. If Harry is blue and Harry is rough then Harry is quiet. Kind, round things are rough. If Dave is quiet then Dave is round. If Bob is green and Bob is blue then Bob is rough. Quiet, green things are blue. All nice, green things are kind. If something is quiet then it is round. All green, blue things are quiet. Kind things are blue.
Dave is not nice.