“有些工人是共青团员，而所有共青团员不是老年人，所以有些工人不是老年人”这一三段论属于（）格（）式。