Anne is blue. Anne is furry. Anne is nice. Anne is smart. Anne is white. Dave is blue. Dave is white. Erin is blue. Erin is furry. Erin is green. Erin is smart. Gary is big. All blue things are big. If Dave is smart and Dave is big then Dave is green. Big things are green. If Gary is nice and Gary is smart then Gary is blue. If something is furry and blue then it is big. If something is green then it is white.
Dave is smart.