Dave is big. Dave is cold. Dave is green. Dave is kind. Erin is big. Erin is not green. Erin is smart. All cold, kind people are green. Red people are not quiet. All green, kind people are red. If someone is not red then they are kind. If someone is not red then they are kind. If Dave is red and Dave is not green then Dave is quiet.
Erin is not red.