Anne is smart. Bob is kind. Charlie is smart. Dave is quiet. If someone is blue then they are quiet. All rough people are green. All nice, rough people are green. If someone is nice then they are rough. If someone is smart then they are kind. All smart people are blue. Rough, green people are kind. All rough, quiet people are nice.
Anne is not smart.