Main loop: simplify the answer in each step so that artifact abduction results are discarded.