With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: The middle name of Christopher Simms is David .
text_B: Christopher Mirsky Simms ( born August 29 , 1980 ) is a former American football quarterback who played in the National Football League ( NFL ) .
REFUTES.