Formalize the following statements in predicate logic:

$($i$)$ Every student who studies hard gets good grades.

$($ii$)$ Some people like both chocolate and vanilla ice cream.

$($iii$)$If a person is honest, then they never lie.

$($iv$)$There is a city where every street has a traffic light.

$($v$)$ The tallest person in the room can reach the ceiling.