Просто предполагаем что Андреев соврал о том что он из Онеги. Получается Григорьев - Каргополь. Затем, понимаем что в если в Каргополе уже живет Григорьев, то первое утверждение Борисова ложное, тогда Борисов - Коряма. Григорьев действительно из Каргополя, тогда Данилов =/ Вельск. Если Данилов не из Вельска, тогда Андреев - Коряжма. Остается 2 города. Если Данилов =/ Вельск, то тогда Данилов - Онега, а Васильев - Вельск. Если бы мы в первом выбрали другой вариант, то все равно путем логических вычислений, мы бы наткнулись на противоречие.
Соединим концы непараллельных диагоналей противолежащих граней АВ1 и CD1.
Рассмотрим полученную фигуру AB1D1C. В каждой из четырех А1B1D1 и С вершин сходятся три ребра. А также все отрезки АВ1, AD1, AC, B1D1, D1C и B1С являются диагоналями равных квадратов и, значит, равны между собой. Так что фигура AB1D1C составлена из четырех правильных треугольников, то есть является тетраэдром.