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