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: Euclidean geometry uses previous propositions to show the truth of later ones.
Euclidean geometry is famous for its logical development from first propositions to later propositions.
Example Output: True

Example Input: Yuri Gagarin flew to outer space.
Yuri Gagarin is an astronaut.
Example Output: True

Example Input: Gulf Oil only provides oil to the Gulf of Mexico.
Gulf Oil is a large company that provides for many companies, including some international companies.
Example Output:
False