User blog comment:Nayuta Ito/Ita-Chihaya number/@comment-5529393-20140824021928/@comment-5529393-20140825051802

Unfortunately, that's not what the rules say. If you apply the first rule, you get SH((1,0),1) = SH((1,-1),SH((1,0),0)). We can't apply the second or third rule because there is no zero at the bottom level.