Cut elim rules for the simple set