In this task you are given a statement and an explanation giving you further knowledge about an entity in the statement. You must judge whether the statement is true or false based on the explanation. Label an instance as "True" if the explanation confirms the statement or doesn't disprove it. Label an instance as "False" if the explanation disproves the statement. The statement and explanation are separated by a newline character.

Example Input: J. Robert Oppenheimer lobbied for international control of nuclear power to avert nuclear proliferation.
According to records he lobbied or tried to keep an arms race from becoming.
Example Output: True

Example Input: Solo involves at least two performers.
Solo (music) is a kind of performance involving only one player.
Example Output: False

Example Input: Formula One contestants solve math formulas in less than one second.
Formula One is a type of car racing, not a type of math contest.
Example Output:
False