Bob is big. Bob is quiet. Bob is young. Dave is big. Dave is quiet. Erin is quiet. Erin is young. Harry is big. Harry is green. Harry is nice. Harry is quiet. Quiet, nice people are red. If someone is quiet then they are young. Red people are quiet. If someone is kind and quiet then they are green. Red, nice people are kind. Young people are big. Kind, young people are green. Big, quiet people are nice. If someone is red and young then they are nice.
Erin is not red.