A sequence of linked if-then statements in which the consequent of one statement becomes the antecedent of the next, allowing an extended inference.