The system of <cite>Tian et al. (2014)</cite> generated onthe-fly knowledge to join several fragments in T and wrongly proved H. In examples of such complexity, distributional similarity is no longer reliable.