Anne is cold. Anne is not quiet. Anne is red. Anne is white. Bob is cold. Bob is quiet. Bob is red. Bob is smart. Bob is white. Gary is red. Gary is white. Harry is cold. Harry is kind. Harry is red. Harry is not smart. Quiet, white people are cold. If someone is kind then they are red. If someone is smart and not white then they are not red. All nice people are kind. If someone is nice then they are cold. Smart, quiet people are nice. All red people are cold. If someone is quiet and not kind then they are red.
Gary is smart.