linear syllogism

A sorites, in traditional logic, is a chain of successive syllogisms. A syllogism is a unit of argument that passes from two premises to a conclusion. In a sorites, the conclusion of one syllogism becomes a premise for the next, creating a chain. If the intermediate conclusions are suppressed, the remaining premises and the final conclusion form a valid inference. For example, if A implies B, and B implies C, then A implies C. This type of reasoning is a form of deduction, which involves deriving conclusions from premises using logical rules.12