Это правильное рассуждение, которое на самом деле эквивалентно рассуждению по теореме Байеса.

Разница тут как между арифметическими решениями задачек в старых учебниках и более современными методами с уравнениями и неизвестными. Да, подобные трюки основаны на "использовании мозгов", но когда нужно получать быстро надежные решения, "автоматические" методы вроде алгебры и т.д. оказываются полезнее. А мозги тоже используются, - но в другом месте.