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