Anne is big. Anne is furry. Anne is kind. Anne is smart. Erin is big. Erin is furry. Erin is red. Erin is smart. Erin is white. Erin is young. Big things are white. If Erin is smart and Erin is red then Erin is big.
Anne is not white.