Anne is big. Anne is green. Anne is nice. Anne is red. Anne is not rough. Anne is white. Bob is nice. Bob is red. Bob is rough. Erin is big. Erin is green. Erin is not nice. Erin is red. Erin is rough. Erin is not smart. Erin is white. If Erin is not green and Erin is not nice then Erin is smart. If someone is not red and not rough then they are big. If Bob is red and Bob is rough then Bob is not white.
Bob is smart.