Help simplifying rule

I hope that you can easily adapt from here:

and here: