With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Miner formed the progressive rock group Art Rock Circus to perform the music with a live band on stage alongside the singers and actors.
text_B: Miner formed the progressive rock group Art Rock Circus to perform the music with a live band on stage alongside the actors.
contradiction.