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