Problem: Transcribe the following argument into predicate logic, construct a truth tree, and use natural deduction to show that it is valid:
There is exactly one pretty person. Therefore, there is at least one pretty person, and at most one pretty person.