Anne is round. Anne is smart. Bob is blue. Bob is cold. Bob is furry. Bob is green. Charlie is cold. Charlie is green. Charlie is round. Charlie is smart. Gary is green. Gary is quiet. If something is quiet and furry then it is cold. If Bob is blue and Bob is green then Bob is smart. All round, blue things are furry. If Gary is green then Gary is smart. If Bob is round then Bob is smart. If something is cold then it is quiet. Smart things are blue. If something is round and blue then it is green. Blue, green things are round.
Charlie is not quiet.