Anne is big. Anne is quiet. Anne is not red. Anne is rough. Anne is not round. Bob is nice. Bob is quiet. Bob is red. Bob is round. Dave is not big. Dave is kind. Dave is not nice. Dave is quiet. Erin is nice. Erin is quiet. If someone is kind and not red then they are not big. If someone is red then they are big. If someone is quiet and not red then they are rough. If Anne is not round then Anne is nice. If someone is kind and not red then they are not nice. If someone is red and not nice then they are not quiet.
Erin is red.