Bob is nice. Charlie is kind. Erin is blue. Gary is green. All blue, cold people are kind. Red, cold people are nice. Smart people are red. If someone is cold and kind then they are blue. All nice people are blue. If someone is kind then they are blue. If someone is blue then they are green. If someone is cold and not blue then they are kind.
Erin is not smart.