input hypothesis: At least 10 people were in the movie ransom
Context: Ransom is a 1996 American crime thriller film directed by Ron Howard and written by Richard Price and Alexander Ignon. The film stars Mel Gibson, Rene Russo, Gary Sinise, Brawley Nolte, Delroy Lindo, Liev Schreiber, Evan Handler, Donnie Wahlberg, and Lili Taylor. Gibson was nominated for a Golden Globe Award for Best Actor.
OPTIONS:
- Yes
- It's impossible to say
- No
true or false: Yes
input hypothesis: Robert Henry Risch is the father of computer algebra
Context: In symbolic computation (or computer algebra), at the intersection of mathematics and computer science, the Risch algorithm is an algorithm for indefinite integration. It is used in some computer algebra systems to find antiderivatives. It is named after the American mathematician Robert Henry Risch, a specialist in computer algebra who developed it in 1968.
OPTIONS:
- Yes
- It's impossible to say
- No
true or false: It's impossible to say
input hypothesis: The Achel Brewery brews at least three different kind of beers.
Context: Achel Brewery or Brouwerij der Sint-Benedictusabdij de Achelse Kluis is a Belgian Trappist brewery, and the smallest of the Belgian Trappist breweries. It is located in the Abbey of Saint Benedict in the Belgian municipality of Hamont-Achel. It brews five Trappist beers.
OPTIONS:
- Yes
- It's impossible to say
- No
true or false: Yes
input hypothesis: With about 2,000 students, Culver City High School is the main public high school in it's respective school district.
Context: Culver City High School is the main public high school of the Culver City Unified School District (CCUSD) in Culver City, California. It was opened in 1951. The school's colors are blue and silver, and the mascot is the centaur. As of 2014, its enrollment was roughly 2,000. Culver City High School is recognized as a California Distinguished School, earning the honor in 2005.
OPTIONS:
- Yes
- It's impossible to say
- No
true or false:
Yes