Instruct: Given a premise, retrieve a hypothesis that is entailed by the premise.
Query: "Anna Sun" is a song by American rock band Walk the Moon, originally for their 2010 album "I Want! I Want!". The song was written by band members Adrian Galvin, Nick Lerangis, Nicholas Petricca and Adam Reifsnyder about Adrian's ex-girlfriend, Anna Ceravolo. It was included on the band's 2012 major-label debut album, "Walk the Moon". It was released as a commercial single on February 7, 2012.
Adrians ex girlfriend was a topic of one of the songs written by the band.
Anna Sun is about Adrian Galvin's daughter.
Anna Sun is a song by British rock band Walk the Moon
Anna Sun became a commercial single in the second month.
Walk the Moon released an album before Walk the Moon.
Anna Sun was originally for the band's 2012 album
Angelina is jealous of the other women
There was water near Anna.
It can be said that Anna has a passion for art.
One can reasonably assume that Anna likes photography. 
As time passed, the cravings were tough for Anna.
Natalie Anne Merchant was a member of 10,000 Maniacs before her solo career.
Anna Sun was written by band members Adrian Galvin and Donald Trump
Alaina Capri acted in a film with one of the film's co-writers.
Anna Sun was released in January 7, 2012
Leona Lewis wrote some of the songs that were featured in the movie "Walking on Sunshine".
Amy and Anna enjoyed each others company
Adrian Galvin did not like his ex girlfriend
Anna Sun was a popular song all over the world
One of the songs featured in the movie Walking on Sunshine was open arms by Journey.
There was a music video of this single.
Walk the moon consists of ethnically diverse members
Anna Sun was released in January 7, 2012
Anna Sun is a song by rapper Kanye West
Anna Sun was originally for the band's 2012 album