Anne is smart. Bob is quiet. Bob is smart. Charlie is quiet. Charlie is red. Charlie is smart. Dave is red. All quiet people are nice. If Anne is quiet then Anne is nice. All nice people are rough. Quiet people are red. If Bob is rough then Bob is quiet. All rough people are quiet. Quiet people are green. All smart people are round.
Anne is not smart.