And he still had not solved the problem of roping.
The roping problem was solved easily by him. 
mnli hypothesis: The roping problem was solved easily by him.  premise: And he still had not solved the problem of roping.