Anne is rough. Gary is quiet. Gary is not rough. White things are blue. All big things are quiet. All rough things are white. All white things are kind. If Anne is not rough and Anne is not kind then Anne is quiet. If something is not white and not kind then it is red.
Gary is big.