Anne is kind. Bob is red. Charlie is kind. Charlie is rough. Charlie is round. Charlie is young. Erin is young. All kind people are young. If someone is nice and rough then they are red. If someone is smart then they are rough. If Anne is kind and Anne is nice then Anne is smart. Young people are nice. If someone is red and nice then they are rough. All red, nice people are young.
Erin is not rough.