Anne is red. Charlie is white. Charlie is young. Dave is big. Dave is white. Erin is big. Erin is quiet. If someone is not green then they are big. Big people are red. If someone is big and quiet then they are not nice. All young, red people are big. If someone is quiet and not young then they are red. If someone is big and not red then they are nice.
Dave is not nice.