Using the Consequence Rule
Here is what you need to prove:


  If $a &gt; 7$, $b \geq 0$ and $n = a-b$ then $n &lt; a$ and $a+b \geq 0$.


By the way, this is actually false, since if $b = 0$ then $n = a$. Perhaps you miscopied?