Clone of http://hazy.cs.wisc.edu/hazy/tuffy/, an open-source Markov Logic Network inference engine.