Anne is green. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is not round. Charlie is young. Dave is kind. If Anne is furry then Anne is round. If Charlie is round then Charlie is smart. If Anne is furry then Anne is smart. All round things are kind. If Anne is green then Anne is round. If something is green and not round then it is nice.
Anne is not nice.