Anne is cold. Anne is furry. Anne is green. Anne is quiet. Bob is furry. Bob is not quiet. Charlie is quiet. Gary is furry. Gary is rough. Gary is round. Cold things are red. If something is green then it is cold. All rough things are round. Quiet things are rough. All round, rough things are green.
Charlie is not cold.