Упр.919 ГДЗ Ткачёва 5 класс (Математика)

Ниже вариант решения задания из учебника Ткачёва 5 класс, Просвещение:
919. Рассуждаем. За столом в столовой сидят четыре ученика: Андрей, Сергей, Тимофей и Олег. Фамилии мальчиков: Иванов, Петров, Михайлов и Колобов. Известно, что: 1) Иванов — не Олег и не Андрей; 2) Сергей сидит рядом с Михайловым и Ивановым; 3) Петров сидит рядом с Олегом и Андреем; 4) Колобов не Олег. Какая фамилия у каждого мальчика?