Tuffy is an open-source Markov Logic Network inference engine | Heykuki News