Bob is not big. Bob is red. Dave is not furry. Dave is green. Dave is quiet. Dave is red. Dave is smart. Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Harry is big. Harry is furry. Harry is green. Harry is not nice. If someone is nice and not smart then they are red. If Erin is not quiet and Erin is not nice then Erin is red. Quiet, green people are big.
Erin is not smart.