WolframAlpha computational knowledge AI
beta(x+3,y+1)/beta(x+1,y+1)< 0.5 && (x/(x+y))^2>0.5 && x>0 && y=3