Anne is cold. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is smart. Bob is kind. Bob is young. Charlie is kind. Charlie is nice. Charlie is not red. Erin is kind. Erin is rough. Erin is smart. Erin is young. If someone is red and not cold then they are kind. If Anne is young and Anne is nice then Anne is rough.
Erin is red.