euclid ?- Ma>Mb, two_falling(Ma,Mb,Ta,Tb,D,G).
 
[Ma,Mb,G,Ta,D,Tb]:reals
0<=Ta
Mb<Ma
0<= -Ta
D=G*Ta^2/2
Tb= -Ta
 
More (y/n) y
 
[Ma,Mb,G,Ta,D,Tb]:reals
Tb=Ta
0<=Ta
0<=Ta
Mb<Ma
D=G*Ta^2/2