Anne is young. Bob is not kind. Bob is red. Bob is rough. Bob is smart. Erin is red. Erin is white. Erin is not young. Gary is green. Gary is kind. Gary is red. Gary is white. Young, smart things are white. If something is smart then it is rough. If something is red then it is white. All green, kind things are smart. If something is rough then it is red. Red things are rough. If something is kind and young then it is green. All young things are kind. If something is young and not green then it is not white.
Anne is smart.