Anne is big. Anne is cold. Anne is quiet. Anne is red. Bob is big. Bob is not cold. Bob is quiet. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is white. If something is not red then it is white. If something is big and white then it is green. If something is red and not white then it is big.
Charlie is not quiet.