Anne is blue. Anne is nice. Anne is quiet. Anne is round. Bob is big. Bob is green. Bob is nice. Bob is quiet. Charlie is big. Charlie is blue. Charlie is green. Charlie is nice. If something is blue and nice then it is cold. If something is green then it is blue. If something is cold then it is nice.
Charlie is not round.