Anne is big. Anne is red. Anne is white. Bob is big. Bob is blue. Bob is nice. Bob is red. Bob is rough. Bob is smart. Bob is white. Erin is big. Erin is blue. Erin is nice. Erin is rough. Erin is smart. Erin is white. If something is red and rough then it is smart. All white, big things are rough. If Anne is blue and Anne is big then Anne is white. Big, rough things are nice. If Erin is big and Erin is smart then Erin is nice. All white, big things are blue.
Erin is not big.