Anne is kind. Anne is quiet. Anne is white. Bob is green. Bob is kind. Bob is rough. Charlie is rough. Gary is not cold. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Cold things are not blue. All cold, rough things are green. If something is cold then it is not green. If something is rough and blue then it is white. If Bob is green and Bob is blue then Bob is quiet. If Anne is rough and Anne is not white then Anne is quiet.
Charlie is quiet.