Six neighborhood children (NAME_1 NAME_2, NAME_3, NAME_4, and NAME_5) were measured yesterday.

NAME_4 is taller than NAME_2 but shorter than NAME_5.
NAME_6 is taller than NAME_7 but shorter than NAME_2 and NAME_4.
NAME_7 is not the shortest.
Put them in order of height from the tallest person to the shortest.