Anne is green. Anne is white. Dave is big. Dave is white. Erin is red. Gary is big. Gary is white. If Erin is big then Erin is smart. If someone is white then they are nice. If Gary is green and Gary is nice then Gary is smart. All green, smart people are big. If someone is green then they are white. Smart people are green. Red people are big. If Erin is smart and Erin is green then Erin is red. All furry people are green.
Erin is not big.