A hat company states that the mean hat size for a male is at least 7.25. A random sample of 12 hat sizes has a mean of 7.15 and a standard deviation of 0.27. At a = 0.05, can you reject the company's claim that the mean hat size for a male is at least 7.25? Assume the population is normally distributed.