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