With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: Mario Kart 7 was first known as Mario Kart 3DS .
text_B: The game was first publicly announced at E3 2010 under the tentative title Mario Kart and then shown again at E3 2011 , where it was announced for a late 2011 release .
REFUTES.