Anne is green. Anne is nice. Anne is round. Bob is big. Bob is blue. Bob is round. Erin is green. Gary is furry. Gary is nice. Gary is white. If someone is furry then they are nice. Round people are white. All nice people are blue. If Erin is round then Erin is nice. Green, big people are white. If someone is big then they are nice.
Anne is not round.