For spheres of dimension $n>5$ the PL Poincare conjecture follows from the s-cobordism theorem. Indeed, removing disjoint two small open disks one gets an s-cobordism (this uses excision in homology, Poincare duality and Hurewicz theorem).  The s-cobordsim is PL trivial (if the cobordsim has dimension is $>5$) from where a PL homeomorphism to a sphere should be obvious. This is done in detail eg in Rourke-Sanderson PL topology book.

The 5-dimensional case is less elementary. 

<b> Step 1</b> is to show that any homotopy $5$-sphere has a smooth structure. Munkres and Hirsch developed an obstruction theory for putting a smooth structure on a PL manifold. The obstruction groups are cohomology groups of $M$ rel boundary (if any) with coefficients in the groups $\Gamma^k$ of isotopy classes of diffeomorphism of $S^{k-1}$ moduli those that extend to the $k$-disk. Now $\Gamma^k=0$ for $k\le 4$ where the hardest case $k=4$ is a famous theorem of Cerf. This shows that any PL $5$-manifold has a smooth structure.

<b> Step 2</b> is to show that any smooth homotopy $5$-sphere $\Sigma$ bounds a smooth compact contractible manifold $W^6$. This is done by a surgery theoretic argument staring with some $6$-manifolds with boundary $\Sigma$ and the simplifying it by surgery. This is due to Milnor-Kevaire and Wall (independently). See theorem 9.1 of Milnor's "Lectures on the h-cobordsim theorem".

<b> Step 3</b> is to remove a small open ball from the interior of $W^6$ to get a smooth $h$-cobordism between $\Sigma$ and $S^5$, which is trivial by the smooth $h$-cobordism theorem. Thus $\Sigma$ is diffeomorphic and hence PL homeomorphic to $S^5$.