TLINet: Differentiable Neural Network Temporal Logic Inference