Anne is blue. Anne is not cold. Anne is quiet. Anne is not red. Anne is not rough. Anne is round. Anne is smart. Charlie is blue. Charlie is rough. Gary is blue. Gary is not cold. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is smart. If Gary is rough then Gary is quiet. If Anne is round and Anne is not smart then Anne is rough. If someone is rough then they are red. If Gary is blue and Gary is not cold then Gary is round. All smart, round people are not cold. If Anne is not quiet then Anne is not blue. All quiet, red people are blue. If Gary is not quiet then Gary is blue.
Gary is rough.