Massey products in Galois cohomology and the Elementary Type Conjecture

Let p be a prime. We prove that a positive solution to Efrat's Elementary Type Conjecture implies a positive solution to the strengthened version of Minač-Tân's Massey Vanishing Conjecture in the case of finitely generated maximal pro-p Galois groups whose pro-p cyclotomic character has torsion-free image. Consequently, the maximal pro-p Galois group of a field K containing a root of 1 of order p (and also the square root of -1 if p=2) satisfies the strong n-Massey vanishing property for every n>2 (which is equivalent to the cup-defining n-Massey product property for every n>2, as defined by Minač-Tân) in several relevant cases.