Before revision:  We develop a neuro-symbolic theorem prover that extracts multi-hop reasoning chains  and apply it to this problem.
After revision:  We develop a neuro-symbolic theorem prover that extracts multi-hop reasoning chains , and apply it to this problem.