Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is round. Charlie is blue. Dave is green. Dave is nice. Dave is round. Erin is furry. Erin is red. Erin is rough. Round, rough things are nice. All furry things are rough. All red, rough things are furry. Nice, round things are furry. All red, round things are blue. All blue things are green. If Anne is furry then Anne is green. Furry things are rough.
Charlie is not nice.