Anne is kind. Bob is kind. Gary is nice. All kind, white things are rough. If Bob is smart then Bob is rough. All kind, nice things are smart. If Gary is nice and Gary is cold then Gary is kind. Nice, rough things are cold. If Bob is cold and Bob is round then Bob is white.
Anne is not smart.