Identify the names of all inference rules for each steps of the following arguments:

$H1$:notr$c$

$H2$:$ct$

$H3$:nott

:$.r$

Select an option hat$($~~$)ct$

Select an option widehat$($~~$)nott$

Select an option widehat$()notc$

Select an option hat$()notrc$

Select an option widehat$($~~$)notnotr$

Select an option hat$()r$

A$.H2$

B$.$ Modus Tollens $(a,b)$

C$.$ H$3$

D$.$ Double negation $($e$)$

E$.$ H$1$

F$.$ Modus Tollens $($c$,$ d$)$