Premise: that that doesn't solve anything

Hypothesis: Nothing is solved in that manner.
Relation: entailment