Using the natural deduction rules, give a formal proof of:

SameSize$($b$,$ c$)->($Large$($c$)$ Small$($c$))$

from the premises:

$1.$ Small$($a$)->$ Small$($b$)$

$2.$ Small$($b$)->($SameSize$($b$,$ c$)->$ Small$($c$))$

$3.$Small$($a$)->($Large$($a$)$ Large$($c$))$