Я не помню уже досконально Writeln ... S1=S2 это только при равенстве распечатывает?
PS А вообще Вы уподобляетесь Си-никам ...Те Хвалятся , что такую логическую конструкцию могут смастерить - из условных операторов, что Паскалю и не снилось(правда и сами не смогут прочитать в итоге...... Нужно всё Проще ..Паскаль тем и славен , что можно увидеть , начиная с begin , заканчивая end... )