Anne is blue. Bob is round. Charlie is not quiet. Erin is big. If something is green then it is white. If Anne is not blue then Anne is quiet. Green things are rough. Green things are round. If something is not quiet then it is big. If something is round and not white then it is big. If something is not big then it is green. If something is not big then it is round.
Charlie is not quiet.