In a coded inequality, 'A @ B' means A > B, 'A * B' means A is greater than or equal to B, and 'A ~ B' means A is less than or equal to B. Given the statement 'M @ N * O ~ P', which of the following is definitely true?

The statement means M > N, N is greater than or equal to O, and O is less than or equal to P. From M > N and N greater than or equal to O we get M > O. The relations of M and N to P are not fixed, and O is less than or equal to P, so the others do not hold.