The fifth row shows that the sequent is not valid:
Only the fourth row is relevant because it is the only one where both premises are true. It shows that the sequent is valid:
The fifth row shows that the sequent is not valid:
Only the fourth row is relevant because it is the only one where both premises are true. It shows that the sequent is valid: