Rules of inference (5)

You may recognise our next two rules: the Fox uses the first one several times, and his next-to-last step uses a telescoped version of the second.