Алгоритмические модели Кто есть кто?

Петров, Сидоров и Андреев. Один из них – будущий музыкант, другой преуспел в бальных танцах, третий - солист хора мальчиков, четвертый подает надежды как художник.
О них известно следующее:
Иванов и Сидоров присутствовали в зале консерватории, когда там солировал в хоре мальчиков певец.
Петров и музыкант вместе позировали художнику.
Музыкант раньше дружил с Андреевым, а теперь хочет познакомиться с Ивановым.
Иванов не знаком с Сидоровым, так как они учатся в разных классах и в разные смены.

логику построения таблицы.
Формализация задачи.
В задаче рассматриваются четыре человека, характеризующиеся своими увлечениями. Результатом решения будет информационная модель, представленная таблицей, в которой указаны их увлечения.

и логически обоснуем ход решения.

анализа мы пришли к выводу, что Иванов – танцор, Петров – солист хора, Сидоров – музыкант, а Андреев – художник.

родом из Москвы, Санкт-Петербурга, Новгорода, Перми и Томска: Юра, Толя, Алеша,, Коля и Витя. Москвич сидел между томичем и Витей, петербуржец – между Юрой и Толей, а напротив него сидели пермяк и Алеша. Коля никогда не был в Санкт-Петербурге, а Юра не бывал в Москве и Томске, а томич с Толей регулярно переписываются.
Определите, в каком городе живет каждый из ребят.

Один из них – шахматист, другой – заядлый футболист и болельщик, а третий – известный в микрорайоне любитель всяческих вечеринок.
Однажды футболист пришел к другу, чтобы поучиться приемам игры в шахматы, но мама шахматиста сказала, что сын ушел с известной всем личностью на дискотеку. Известно, что Литвинов никогда не слышал о Капранове.
Кто есть кто?
Подсказка. Начните рассуждения с того, что Литвинов – не шахматист, т.к. шахматист должен знать и футболиста, и любителя вечеринок. Капранов – не любитель вечеринок, потому что его знают все, а Капранова не знает Литвинов.