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

$$y $($Small$($y$)$ Medium$($y$)$ Large$($y$))$

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