Error in rule tree

I wrote a quick summary on how to switch to nextalign: