Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is young. Charlie is furry. Charlie is quiet. Charlie is smart. Charlie is white. Charlie is young. All quiet, smart people are red. All smart people are quiet. If someone is quiet then they are green.
Charlie is not smart.