Anne is big. Anne is kind. Anne is nice. Anne is red. Anne is smart. Anne is not young. Bob is young. Erin is big. Erin is kind. Erin is nice. Erin is red. Erin is smart. Erin is not white. Erin is not young. Fiona is big. Fiona is nice. If Bob is kind then Bob is big. If something is young and not smart then it is big. If something is not white then it is big. If something is nice then it is kind. If something is not young then it is big. All red things are big. If Bob is red and Bob is white then Bob is not nice. If something is not red and not nice then it is kind.
Erin is big.