Statistics for Leibniz's characteristica universalis and calculus ratiocinator