«Братья носят одинаковую фамилию»
«Иван и Петр - братья»
«Фамилия Ивана - Сидоров»
--------------------------------------
Следовательно, фамилия Петра также Сидоров.
Сначала перевести в язык логики предикатов, затем полученное логическое следствие в язык дизъюнктов. Используя принцип резолюции доказать, что данное логическое рассуждение логически правильное.