input hypothesis: Geraud Senizergues was a computer programmer.
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: No
input hypothesis: Pascal's law was invented by james
Context: Pascal's law (also Pascal's principle or the principle of transmission of fluid-pressure) is a principle in fluid mechanics that states that a pressure change occurring anywhere in a confined incompressible fluid is transmitted throughout the fluid such that the same change occurs everywhere. The law was established by French mathematician Blaise Pascal in 164748.
true or false: No
input hypothesis: have a weak person available
Context: How to measure a refrigerator<br>Move the refrigerator. To get many of the right measurements, you should move the refrigerator to allow access to the space. When doing so, be sure to remove everything in the refrigerator and have at least one strong person around to assist you.
true or false: No
input hypothesis: John McManus performs comedy.
Context: John Henry Michael McManus (born 21 January 1974), as stage name Rove McManus, is an Australian triple Gold Logie award-winning television presenter, producer, comedian and media personality. He was the host of the comedy talk show "Rove LA" and was also the host of the eponymous variety show "Rove." He is also the co-owner of the production company Roving Enterprises with partner Craig Campbell.
true or false:
Yes