there is something such that if it does snowball schoolbag then it is not a dried but starry.
sent1: something does not snowball schoolbag and does snowball temp if it does snowball gemination. sent2: the softwood is not a dried but starry if it snowballs schoolbag.
sent2 -> hypothesis;
the softwood does not snowball schoolbag but it does snowball temp if it snowballs gemination.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it does snowball schoolbag then it is not a dried but starry. ; $context$ = sent1: something does not snowball schoolbag and does snowball temp if it does snowball gemination. sent2: the softwood is not a dried but starry if it snowballs schoolbag. ; $proof$ = 
sent2 -> hypothesis; __PROVED__