!Presuppostion!
The reason why it is an presupposition and not an entailment is:
presupposition group 3