With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: Buddy Holly 's birth name was Johnny Bravo .
text_B: Buddy Holly -LRB- born Charles Hardin Holley ; September 7 , 1936 -- February 3 , 1959 -RRB- was an American musician and singer-songwriter who was a central figure of mid-1950s rock and roll .
REFUTES.