With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: Duke Johnson plays for the Houston Texans .
text_B: Randy `` Duke '' Johnson Jr. ( born September 23 , 1993 ) is an American football running back for the Cleveland Browns of the National Football League ( NFL ) .
REFUTES.