Set A is invalid because
α1⋅α3=−1 rather than zero; indeed its three
vectors sum to zero and are not linearly independent.
Set B has all the displayed
inner products and is linearly independent, so it is valid.
Set C is the standard realization
of the
A3 root system and is also valid.