A student claims that professional male basketball players are taller, on average, than college male basketball players. To investigate this claim, the student selects a random sample of 30 professional basketball players and 30 college basketball players. The mean height of the sample of professional male basketball players is 76 inches with a standard deviation of 3.5 inches. The mean height of the sample of college male basketball players is 74.5 inches with a standard deviation of 5.5 inches. The student would like to determine if there is convincing evidence that the true mean height of all professional male basketball players is greater than the true mean height of all college male basketball players.