@contrex,
My attempt to make it formal. Please comment it:
regress:
1) reasoning involved in the process in which one assumes the conclusion is true and reasons backward to the evidence.
2) the reasoning involved when one assumes the conclusion is true and reasons backward to the evidence
Does it work? If not, please make one.