Task: Fact Verification
Input (English): The name Michael first appears in the Hebrew Bible.
The name Michael first appears in the Biblical book of Numbers.
Output (English): True