@sesa_sebix: nigdzie nie ma klauzuli wykluczającej która uprawnia do wnioskowania na podstawie stanu jednej liczby o stanie liczb pozostałych. Ten stan można określić sumarycznie tylko na podstawie założeń wszystkich wierszy. Zastosowana w 2 wierszu koniunkcja dla prawdziwości zdania wymusza poprawność obydwu założeń, co jest prawdziwe dla liczby 9. Natomiast rozpatrując (cały czas będąc przy wierszu 2) postawiony warunek dla liczby 1 - że jest poprawna ale stoi w złym miejscuPokaż całość