Anne is quiet. Bob is big. Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is white. Charlie is nice. Charlie is quiet. Erin is big. Erin is nice. Erin is white. All nice people are white. All quiet, blue people are green. Blue, cold people are quiet. Big, blue people are quiet. If someone is green and white then they are blue. If someone is quiet then they are nice. If someone is quiet and big then they are blue. All quiet, white people are big. If someone is white and quiet then they are big.
Anne is not big.