With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Is Michael's coin green in colour.
text_B: Michael does not have a coin.
contradiction.