Charlie is green. Gary is round. All smart things are rough. Kind, green things are smart. If something is big then it is red. If Gary is round and Gary is kind then Gary is smart. If Charlie is round and Charlie is big then Charlie is rough. If something is round then it is big.
Gary is not green.