Anne is kind. Charlie is big. Charlie is nice. Charlie is smart. Erin is rough. Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is rough. Gary is smart. If Erin is kind then Erin is red. If someone is kind and red then they are big. Smart people are nice. All big, red people are smart. If someone is nice and not rough then they are furry. If someone is kind then they are red. All nice, kind people are red.
Erin is red.