"All A are B 2. x is a B Therefore, x is an A ??? is going to be invalid." . . . .