input hypothesis: Geraud Senizergues died in 2015.
Context: Geraud Senizergues (born 1957) is a French computer scientist at the University of Bordeaux. With Yuri Matiyasevich he obtained results about the Post correspondence problem. He won the 2002 Godel Prize "for proving that equivalence of deterministic pushdown automata is decidable"
true or false: It's impossible to say
input hypothesis: 400 million dollars is Easy come, easy go
Context: This will be a major incentive to universities and teaching and research hospitals across Canada to not only take advantage of the foundation for innovation and its assistance in upgrading and building research infrastructure but also to make use of the $400 million that has been made available to the university research granting councils to further support the performance of international quality research in this country.
true or false: It's impossible to say
input hypothesis: anet was concerned about her upcoming prom. Her prom was the day before Saturday.
Context: Dance<br>Janet was concerned about her upcoming prom. Her prom was on Friday. She came to school Wednesday concerned about not having a date. Fortunately Ben also did not have a date. So Ben asked Janet to prom and both of their problems were solved.
true or false: Yes
input hypothesis: He does not get a lot of attention
Context: Roy Anthony Cousins (born 1949 in Kingston, Jamaica) is a Jamaican reggae singer, producer, and record label owner, known for his work as leader of The Royals, his productions of artists such as Charlie Chaplin, Prince Far I, and Cornell Campbell, and his record labels such as Tamoki-Wambesi.
true or false:
It's impossible to say