TASK DEFINITION: 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.
PROBLEM: The Samsung Galaxy S II runs on the Android operating system.
All Galaxies are android phones.

SOLUTION: True

PROBLEM: 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.

SOLUTION: True

PROBLEM: The European Court of Justice tries matters particular to Europe.
The European Court of Justice is based in Europe

SOLUTION:
True