hop(_59570,_59572)). time=0.0005359649658203125. passed=passed=info(why_was_true(user:(edge(_33146,_33168)==>hop(_33146,_33168)))) no_proof_for((edge(X,Y)==>hop(X,Y))). no_proof_for((edge(X,Y)==>hop(X,Y))). no_proof_for((edge(X,Y)==>hop(X,Y))). result=passed. ]]>