With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: Tiësto 's real name is Tijs Michiel Verwest .
text_B: Gerry Adams ( ; born 17 January 1969 ) , better known by his stage name Tiësto ( ; ) , is a Dutch DJ and record producer .
REFUTES.