Anne is kind. Anne is quiet. Anne is round. Anne is smart. Charlie is big. Charlie is green. Charlie is kind. Charlie is not red. Charlie is not round. Charlie is smart. If Anne is round then Anne is smart. If Charlie is green and Charlie is round then Charlie is not smart. All smart people are quiet. Kind, smart people are big. All green people are big. If someone is not quiet and not kind then they are red.
Charlie is not smart.