Natural Language Deduction through Search over Statement Compositions