Anne is blue. Anne is quiet. Anne is smart. Bob is blue. Bob is not smart. Charlie is blue. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is smart. If something is red and not kind then it is green. Blue things are green. All kind things are furry. All green things are blue. If Anne is quiet then Anne is green. If something is smart and not blue then it is not red.
Anne is not quiet.