Anne is nice. Anne is rough. Anne is young. Charlie is kind. Charlie is nice. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is young. Gary is big. Gary is kind. Gary is rough. All young people are kind. If someone is young and smart then they are quiet. If Anne is smart and Anne is kind then Anne is rough. Rough, smart people are young. If someone is quiet then they are big. Kind people are big. If Anne is rough then Anne is smart. All smart people are rough.
Anne is not smart.