With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: Band Twenty One Pilots ' drummer is Josh Devine .
text_B: The band was formed in 2009 by lead vocalist Tyler Joseph along with former members Nick Thomas and Chris Salih , who eventually left in 2011 , and currently consists of Joseph and drummer Josh Dun .
REFUTES.