Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is smart. Bob is big. Bob is green. Charlie is rough. Charlie is not smart. Gary is big. Gary is cold. Gary is green. Gary is red. Gary is rough. Gary is smart. Gary is white. If something is rough then it is red. Cold, big things are smart. If something is not rough then it is green. All red, big things are green. All red things are green. If something is rough and cold then it is red.
Charlie is red.