More specifically it is also a form of non sequitur (Latin for it does not follow).The fallacy of the undistributed middle takes the following form:All Zs are Bs.Y is a B.Therefore, Y is a Z.It may or may not be the case that all Zs are Bs, but in either case it is irrelevant to the conclusion.