Which Statement logically follows the two given statements: If the coffee is fresh, then it is hot. The coffee is not hot.