Basketball by deduction