No, the statement immediately following a premise indicator is a premise. The underlined statement is not immediately following the premise indicator.

<< Return to question