Assume that the statements in the box below are true.

All students who attend Tarrytown High School have a student ID.
Amelia does not attend Tarrytown High School.
Carrie has a student ID.
Traci has a student ID.
Joseph attends Grayson High School.
Michael is a high school student who attends Tarrytown High School.

Considering only the statements in the box, which of the following statements must be true?
F. Michael has a student ID.
G. Amelia is not a high school student.
H. Carrie attends Tarrytown High School.
J. Traci attends Tarrytown High School.
K. Joseph does not have a student ID.