given : $$x $($Tet$($x$)$ Small$($x$))$

given :$$y $($Small$($y$)$ Medium$($y$)$ Large$($y$))$

prove : $$x $[$ Tet$($x$)->($Large$($x$)$ Medium$($x$))]$

Need help writing a formal proof with the information above