Anne is blue. Anne is round. Charlie is not cold. Charlie is kind. Dave is rough. Gary is blue. Gary is cold. Kind things are round. All round, blue things are rough. All blue, nice things are not furry. All round things are blue. All nice, cold things are not blue. If Charlie is blue and Charlie is not rough then Charlie is cold. If Dave is not rough then Dave is cold. If something is rough and not cold then it is nice.
Dave is not round.