Each barber cut the other’s hair – The messy barber gave the neat one his haircut. Therefore, the neat haircut must be the messy barber’s work. A logical deduction through indirect reasoning.