Anne is smart. Charlie is blue. Charlie is not furry. Charlie is white. Erin is smart. Gary is big. Gary is white. If something is not furry then it is white. If Anne is nice and Anne is furry then Anne is white. If something is nice and smart then it is big. If Charlie is blue then Charlie is red. Red things are nice. If something is white and not furry then it is red. If something is big then it is blue. If something is nice and not blue then it is smart.
Anne is nice.