Мы когда-то на одном из курсов "повышения квалификации" уже здесь, в Австралии
в рамках "мозговой разминки"
строили такую конструкцию, т.е то самое доказательство, которое ты упоминаешь уже во второй раз...
Работали группами по-трое.
Справились, построив схему на бумаге, все группы,
но может быть потому, что это давно известная логическая "раскладушка"
Сейчас она мне легко вспомнилась и воспроизвожу по-памяти, с которой у меня ещё пока всё в порядке:
Если молодая женщина (а) вышла замуж за вдовца (b) , а её мать (c) вышла замуж за его сына (d).
То когда у (c) родился ребенок он стал внуком для (а).
Но поскольку (а) дочь своей матери (c), то ребенок (c)— брат для (а), и муж её отчим для (а).
Тогда отец ее — дедушка для (а). А раз (б) дедушка для (а), то (а) сама себе БАБУШКА.