Anne is quiet. Anne is young. Erin is blue. All quiet things are kind. If something is white and young then it is not green. If Anne is white and Anne is quiet then Anne is big. All big things are blue. All blue things are kind. If something is young and not green then it is big. If something is kind and not green then it is young. If something is not young then it is white.
Erin is not big.