We can extend these ideas to the probabilistic case, albeit in a more limited way than in theorem proving.  Rather than reasoning separately for each student in our domain, we do probabilistic inference for a “generic” student x, and then assume we have the right number of copies.