Markov Logic Inference System (LISy)