With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Ian and Michelle are friends. He is an electrician and she is an engineer.
text_B: Ian is an engineer.
contradiction.