Instead of making separate proofs for you to add the rule into, I just made one long argument in which the rules are used. Indicate which rule it is by writing it down where I’ve left the space on the right margin. On the left of the space, you find the numbers of the lines in the argument that are used to generate the new sentence, i.e. on which the rule has been applied. Don’t hesitate to ask for clarification if you need help.

In the second part, you need to translate the sentences into TFL and then make a TFL proof for them.

(DOC ATTACHED IN FILES)