Premise: well what what do you mean if they can prove it there there's already
Hypothesis: So if they can prove it, then it's there's? 
Label: neutral