Anne is red. Bob is cold. Charlie is white. Erin is smart. All smart, big people are rough. If Charlie is smart then Charlie is white. Cold people are big. If someone is big then they are smart. All red, smart people are kind. If someone is red then they are cold. If someone is rough and cold then they are smart. If Anne is rough then Anne is white.
Bob is not kind.