Окей, я мыслил так:
У нас есть два одинаковых суждения:3 и 6. Првоерим их. Если одно из них правда, то тогда правдой становятся 2,3,4,6 - следовательно, 3 и 6 ложны. Тогда противоположное им 7 истинно.
Затем проверил 1. Если 1 истинно, то 5,6,7 тоже истинный, следовательно, 1 ложно. Тогда 2 истинно, а 5 ложно.
Имеем:
1 - ложь
2 - истина
3 - ложь
4 - ?
5 - ложь
6 - ложь
7 - истина
8-?
9-?
Остается только проверить 4,8 и 9. Нам нужна одна истина. Поскольку 1 - ложь, то 8 и 9 связаны и если истинно одно, то истинно и другое - получаем перебор истин. Так что остается только 4 - истина, а 8 и 9 - ложь. А из 4 и 7 истина получаем, что разбила Анна.