Erin is nice. Erin is round. Erin is smart. Erin is white. Gary is furry. Gary is red. Gary is smart. Furry, nice things are round. If something is nice and furry then it is cold. If Gary is round then Gary is white. If something is furry then it is white. All smart things are red. If Gary is red and Gary is cold then Gary is white. If something is red and nice then it is furry. If something is nice and white then it is furry.
Erin is not nice.