Gina is taller than Henry but shorter
than Jennie. Ivan is taller than Katie
but shorter than Gina.
Who is the tallest of these five people?