With no explanation, label text_A→text_B with either "entailment" or "not-entailment".
text_A: Miller was married for a long time. His wife was not nice. He wanted a life free of her. He decided to ask for a divorce. He was so much happier without her.
text_B: Miller proposed to his partner ends before Miller be married
entailment.