Deducción natural/Carga de premisa

$⊢$	$\begin{array}{c}p\to q\to p\\ \begin{array}{c}p\\ \begin{array}{c}q\\ \begin{array}{c}\mathrm{\neg }p\\ \mathrm{\perp }\end{array}\\ p\end{array}\\ q\to p\end{array}\\ p\to q\to p\end{array}$
$1.$		$Supuesto$
$2.$		$Supuesto$
$3.$		$Supuesto$
$4.$		$I\wedge 1,3$
$5.$		$I\mathrm{\neg }3-4$
$6.$		$I\to 2-5$
$7.$		$I\to 1-6$