Anne is cold. Anne is quiet. Charlie is big. Charlie is blue. Charlie is smart. Charlie is young. Erin is big. Erin is blue. Erin is green. Erin is quiet. Erin is smart. Erin is young. If something is smart and blue then it is quiet. If Charlie is blue and Charlie is cold then Charlie is smart. If Anne is blue and Anne is green then Anne is quiet.
Charlie is not quiet.