Natural Language Deduction with Incomplete Information