Bob is cold. Bob is not quiet. Charlie is quiet. If Charlie is cold then Charlie is red. If something is not big then it is green. All cold, big things are quiet. If something is green then it is cold. If Bob is red and Bob is not big then Bob is not blue. If something is not cold then it is quiet.
Charlie is not cold.