The part of a conditional statement after then.

Example :

The conclusion of "If a line is horizontal then the line has slope 0" is "the line has slope 0" is assumed conclusion.