Anne is blue. Anne is cold. Bob is blue. Bob is cold. Bob is red. Bob is not rough. Charlie is red. Charlie is rough. Gary is big. Gary is furry. Gary is quiet. Quiet, red things are furry. All blue, big things are quiet. If something is cold then it is blue. If something is blue and rough then it is big. Blue, rough things are big. If something is rough then it is cold. If something is quiet and not big then it is rough.
Charlie is not cold.