Anne is blue. Dave is blue. Dave is furry. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is smart. If Anne is blue and Anne is cold then Anne is nice. Blue things are nice. If something is round then it is nice. If something is nice and smart then it is rough. If Dave is rough and Dave is round then Dave is nice. Cold things are blue. Nice things are blue. Smart, blue things are furry.
Dave is not nice.