Claim: Laurie Hernandez's middle name is Amanda.
Verdict: REFUTES