FOUSY: Foundations of Neuro-Symbolic Logical Reasoning