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