Screen Shot: Invoking the Conclusion Rule ─ simply point and click to obtain the result on line 3.