Poprawione wielokrotne zliczanie sprzecznosci. Dodany lepszy wypis do pliku