Путем логического умозаключения вот что получилось.
Степа, математик - москвич
Ваня, химик -петербуржец
Дима, физик -. киевлянин
Проверяем. Ваня не в Москве, а Дима не в Питере. Да.
Москвич преподаёт не физику Да.
Петербуржец преподаёт химию Да.
Дима не математик Да.