WolframAlpha computational knowledge AI
probability getting 7 two dice