Instruct: Given a premise, retrieve hypotheses that are entailed by the premise.
Query: Peter Himmelman (born November 23, 1959 in St. Louis Park, Minnesota) is an American singer-songwriter and film and television composer from Minnesota, who formerly played in the Minneapolis indie rock band Sussman Lawrence before pursuing an extensive solo career. Himmelman is also the founder of Big Muse, a company which helps individuals and organizations unlock their creative potential.
Peter Himmelman was not born in the city of St. Louis.
Hipmunk was founded by Adam Huffman
Roger Heman Sr. put together manual instruments for his award winning sound work.
Peter Himmelman has never written music for the stage.
Joseph W. Hermann works in the field of music.
Hausmania houses musicians.
A founder of hipmunk is also a co-founder of the company, Reddit.
Maxim Bemis has been a member of two bands
Hipmunk has several company locations.
bill tillman is an inventive thinker
Heman's mother was a sound engineer.
Henderson wrote the songs for Big Time Rush.
Pantelis is a musician.
Petersen is an independent.
PM is in the business of making people relax
Michael Milken created a financial tool while working at a company
PM is in the business of helping people relax
Niels Bagge Hansen writes songs for others. 
Multiple people have collaborated music with Smitty Smith.
James Murphy is part of a musical band LCD Soundsystem.
Hipmunk was co-founded by Adam Goldstein and Reddit co-founder Steve Huffman in 2010 but was conceived of years earlier.
The Migos make good music.
Peter Himmelman has never written music for the stage.
Peter Himmelman wrote lyrics for Sussman Lawrence.
Peter Himmelman no longer writes music for film and television.