there is something such that if it does not bid that it does not anneal and is chemotherapeutic is not right.
sent1: if the knawel does not bid then the fact that it does not anneal and it is chemotherapeutic is not true. sent2: the fact that the knawel does not anneal and is chemotherapeutic does not hold if it is a bid. sent3: if the knawel is not a kind of a bid it does not anneal and is chemotherapeutic.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it does not bid that it does not anneal and is chemotherapeutic is not right. ; $context$ = sent1: if the knawel does not bid then the fact that it does not anneal and it is chemotherapeutic is not true. sent2: the fact that the knawel does not anneal and is chemotherapeutic does not hold if it is a bid. sent3: if the knawel is not a kind of a bid it does not anneal and is chemotherapeutic. ; $proof$ = 
sent1 -> hypothesis; __PROVED__