Robustness of Neurosymbolic Reasoners on First-Order Logic Problems