Tooley's solution to the inference problem