Logical reasoning — what a set of syllogistic premises forces

In a community, some artists are teachers, no teacher is a painter, all painters are artists, and all teachers are professionals. Then it can be definitely asserted that