Premise: And he still had not solved the problem of roping.
Hypothesis: The roping problem was solved easily by him. 
Label: contradiction