Anne is blue. Anne is cold. Anne is green. Anne is quiet. Bob is big. Bob is cold. Bob is smart. Charlie is cold. Charlie is kind. Charlie is smart. Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is quiet. Kind things are cold. If Charlie is kind and Charlie is cold then Charlie is quiet. Green, quiet things are kind. If Anne is quiet and Anne is smart then Anne is cold. Green, big things are blue. If Bob is big and Bob is blue then Bob is smart.
Charlie is not blue.