Bob is big. Bob is blue. Bob is furry. Bob is red. Bob is white. Erin is big. Erin is blue. Erin is furry. Erin is red. Erin is rough. Erin is smart. Erin is white. Gary is big. Gary is blue. Gary is furry. Gary is smart. If something is red and furry then it is white. Smart things are red. If something is big then it is blue.
Bob is smart.