Question Author
The reason it's OK is because Sum person can only know that Product person doesn't know if he knows that there is no chance that there was a unique solution to factorising his product. This is only possible if the numbers are prime (or large enough to give no chance for ambiguity, eg choosing 97 and 99 to start with gives a product of 9603, which admits a few different factorisations but only one where both numbers are less than 100). Hence if there is any chance that the two numbers could be both prime, Sum person can say nothing. It follows that he can only say what he says if there is no chance that the two numbers were prime, ie if the sum is even or is 2 more than a prime.
This leaves us with the possible sums I have given below, and a continuation of the list to larger numbers.
To reduce the options still further, you could note that if the prime number is 53 or larger, then it would stick out like a sore thumb -- e.g 53*12 = 636 obviously has several possible pairs of factors, but only if 53 appears on its own will the two numbers be below 100. As a result, the prime factor must be odd and less than 50. And, in turn, for sum guy to now this, his own sum has to be less than 55 -- because 53+2 = 55 would again mean that there was some chance that Product guy could have known.
So that gives us finally a set of possible sums from {11, 17, 23, 27, 29, 35, 37, 41, 47, 51, 53} -- nothing else would allow Sum guy to know anything about what product guy knew or didn't know -- and possible answers of primes less than 50 along with an even number to make up the sum. I think this limits the parameter space to:
3, 8; 4, 7; 5, 6 (prime + even = 11)
3, 14; 4, 13; 5, 12; 6, 11; 7, 10 (prime + even = 17)
etc. To cut down the options still further is a bit tricky, and requires us to try and find some way of constraining the even numbers.