With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: Mike Tyson is a former professional boxer .
text_B: Michael Gerard Tyson -LRB- -LSB- ˈtaɪsən -RSB- born June 30 , 1966 -RRB- is an American former professional boxer who competed from 1985 to 2005 .
SUPPORTS.