Anne is furry. Anne is nice. Charlie is rough. Dave is furry. Gary is big. Gary is rough. Gary is round. If something is furry and not big then it is nice. If Charlie is big then Charlie is nice. If Anne is not round then Anne is rough. Rough, nice things are not green. Nice things are rough. If Charlie is not cold then Charlie is rough.
Dave is cold.