一个具有抗疲劳功能的产品，他的小鼠负重游泳实验一定是阳性。