Anne is big. Anne is rough. Anne is smart. Anne is young. Charlie is blue. Charlie is kind. Dave is kind. Dave is smart. Gary is rough. Gary is not smart. If something is rough and kind then it is white. If Gary is big then Gary is smart. All big things are young. Blue things are big. If something is not rough and not blue then it is not young. Young, big things are white. If something is not white then it is not young. If something is blue and not white then it is smart.
Anne is not rough.