Anne is kind. Charlie is not young. Dave is not big. If someone is rough and big then they are smart. If Charlie is rough and Charlie is big then Charlie is kind. If someone is smart and big then they are not round. All rough people are kind. If someone is kind then they are not smart. If someone is big and not kind then they are not smart. If someone is not smart and not big then they are round. If someone is green and not smart then they are rough.
Anne is green.