there is something such that if the fact that either it is an asterisk or it does not jostle biopsy or both is wrong then it is not a kind of a outport.
sent1: there is something such that if that it is proportionate or it is not burrlike or both does not hold it is non-reptilian. sent2: if the fact that something is sympatric or it is not a kind of an asterisk or both is wrong it is not a kind of a uncial. sent3: the fact that the moment is not a antiproton is right if it is a outport and/or it is not a bend. sent4: the covering is not a kind of a outport if the fact that it is a kind of an asterisk and/or it does not jostle biopsy is wrong. sent5: there exists something such that if it is anticancer or it is not apogamic or both it does not freelance. sent6: there exists something such that if that either it is an asterisk or it does not jostle biopsy or both does not hold then it is a kind of a outport. sent7: if the fact that the covering is an asterisk or it jostles biopsy or both is wrong it is not a kind of a outport.
sent4 -> hypothesis;
if the fact that the fact that the covering is sympatric or it is not an asterisk or both is right does not hold it is not a uncial.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if the fact that either it is an asterisk or it does not jostle biopsy or both is wrong then it is not a kind of a outport. ; $context$ = sent1: there is something such that if that it is proportionate or it is not burrlike or both does not hold it is non-reptilian. sent2: if the fact that something is sympatric or it is not a kind of an asterisk or both is wrong it is not a kind of a uncial. sent3: the fact that the moment is not a antiproton is right if it is a outport and/or it is not a bend. sent4: the covering is not a kind of a outport if the fact that it is a kind of an asterisk and/or it does not jostle biopsy is wrong. sent5: there exists something such that if it is anticancer or it is not apogamic or both it does not freelance. sent6: there exists something such that if that either it is an asterisk or it does not jostle biopsy or both does not hold then it is a kind of a outport. sent7: if the fact that the covering is an asterisk or it jostles biopsy or both is wrong it is not a kind of a outport. ; $proof$ = 
sent4 -> hypothesis; __PROVED__