Task: Fact Verification
Input (English): A Porpoise swims in the ocean.
Porpoises are marine mammals which swim.
Output (English): True