Can Graph Neural Networks Help Logic Reasoning?