I've been stuck on this question for around two hours now.
I'm trying to prove that:
$\lnot C, \ (B \to \lnot C)\to A \vdash (A \to C)\to F $
I'm trying to get my second last step to be:
$\lnot C, \ (B \to \lnot C)\to A, \ A \to C \vdash F $,
but I have no idea how to get started. I'm not sure what I can start off with, especially due to the $(B \to \lnot C)\to A)$ part.
I'm allowed to use 11 rules of formal deducibility/deduction.
If anyone can help me get started, or give me some hints, I would be extremely thankful!