WolframAlpha computational knowledge AI
a+b=10, b+c=7, a+c=13