Tim Witherspoon (born December 27, 1957) is an American former professional boxer who competed from 1979 to 2003. He is a two-time world heavyweight champion, having held the WBC title in 1984, and the WBA title in 1986. Upon winning his second world title, Witherspoon joined Floyd Patterson and Muhammad Ali as the only boxers to win multiple world heavyweight championships.
Tim Witherspoon never had children OPTIONS:
- Yes
- It's impossible to say
- No
A: It's impossible to say

input hypothesis: Zombie Girl: The Movie was based on a 2008 movie
Context: Zombie Girl: The Movie is a 2009 documentary that was directed by Justin Johnson, Aaron Marshall, and Erik Mauck. The film focuses on the making of the 2006 zombie film "Pathogen" that was directed by Emily Hagins, who was twelve years-old at the time.
OPTIONS:
- Yes
- It's impossible to say
- No
true or false: No

Context:
"I'm Living in Two Worlds" is a song written by Jan Crutchfield, which was recorded and released by American country artist Bonnie Guitar. The song reached number nine on the "Billboard" Hot Country Singles chart and number ninety-nine on the "Billboard" Hot 100 in early 1966. "I'm Living in Two Worlds" became Guitar's first Country top-ten single and her first charting single since 1959.
Hypothesis: Bonnie Guitar recorded "I'm living in three worlds" in the 1960s OPTIONS:
- Yes
- It's impossible to say
- No
No

Input: OPTIONS:
- Yes
- It's impossible to say
- No

The 1973 Atlanta Braves season was the eighth season in Atlanta along with the 103rd season as a franchise overall. The highlight of the season was Hank Aaron finishing the season just one home run short of Babe Ruth as baseball's all-time home run king. The 1973 Atlanta Braves were the first team to boast three 40 home run hitters. They were Aaron, Darrell Evans, and Davey Johnson.

Sentence: The Atlanta Braves are a third rate symphony.

Output: No

Problem:
Read the following paragraph and determine if the hypothesis is true:

The Australia national cricket team toured New Zealand from February to March 1990 and played a single Test match against the New Zealand national cricket team which New Zealand won. New Zealand were captained by John Wright and Australia by Allan Border. In addition, the teams took part in a Limited Overs International (LOI) tournament with the India national cricket team which Australia won.

OPTIONS:
- Yes
- It's impossible to say
- No
Hypothesis: The Australia national cricket team beat New Zealand in 1990
****
Answer:
No

Aloe ( or ), also written "Aloe", is a genus containing over 500 species of flowering succulent plants. The most widely known species is "Aloe vera", or "true aloe", so called because it is cultivated as the standard source of so-called "aloe vera" for assorted pharmaceutical purposes. Other species, such as "Aloe ferox", also are cultivated or harvested from the wild for similar applications.
The Aloe genus contains over 1,000 species of flowering succulent plants OPTIONS:
- Yes
- It's impossible to say
- No
A:
No