Помогите решить задачу по формальной логике для первого курса

Привести к классической форме простого категорического силлогизма следующее сложное (молекулярное) суждение «Кирилл – шахматист, значит Кирилл — математик, поскольку некоторые математики — шахматисты». Определить фигуру и модус этого силлогизма. Проверить корректность этого силлогизма методом построения диаграмм Эйлера и Вена