Логика - это очень странная вещь. Сначала, ты выбираешь отправную точку, потом.... Потом у тебя есть выбор: или ты приводишь к заранее придуманному выводу (и тогда приходится подтасовывать переходы доказательства) или ты идешь верным доказательством (но тогда можешь получить совсем неожиданный вывод.) Конечно, любой здравомыслящий человек скажет, что второе - гораздо лучше и, вообще, единственно возможно. Ага. А потом оказываешься в ситуации, когда сам, только что наглядно и неопровержимо доказал ,что ты полный дурак... Сидишь и думаешь: "М, где-то подвох"