% Example from a talk on Isabel by T. Nipkow
% Weak inequality version

off rlabout;



rlset r;


{}


wnip := rlall(a>=3/4 and a^2<=b*(c+1) and b<=4c impl (a-1)^2<b*c)$



rlqea wnip;


              3       1       1
{{false,{a = ---,b = ---,c = ---}}}
              4       2       8


end;

