For a deduction rests on certain statements such that they involve necessarily the assertion of something other than what has been stated, through what has been stated; a refutation is a deduction to the contradictory of the given conclusion.