Anne is cold. Anne is kind. Bob is cold. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is young. Gary is big. Gary is nice. Gary is white. Gary is young. If someone is white and cold then they are big. Big people are young. If someone is not red then they are nice. If someone is cold and young then they are nice. Nice, cold people are kind. If Bob is kind and Bob is nice then Bob is white. If Bob is red and Bob is not white then Bob is not nice. If Charlie is not kind then Charlie is cold.
Anne is not red.