With no explanation, label text_A→text_B with either "NOT ENOUGH INFO", "REFUTES" or "SUPPORTS".
text_A: Mike Portnoy was in Dream Theater .
text_B: He co-produced six Dream Theater albums with guitarist John Petrucci , starting from Metropolis Pt .
SUPPORTS.