Tuffy: A Scalable Markov Logic Inference Engine | Hacker News Reader