With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: If Bill was a dancer, he would be a folk dance.
text_B: Bill is a dancer.
contradiction.