Anne is green. Anne is not kind. Charlie is white. Dave is cold. Erin is furry. Erin is kind. Erin is white. All furry people are quiet. If Charlie is not big then Charlie is white. If someone is green and not cold then they are not big. If Erin is not cold then Erin is quiet. Quiet people are green. If Erin is kind and Erin is not green then Erin is not big.
Dave is quiet.