there is something such that if it is non-neocortical it is nonsignificant.
sent1: there exists something such that if the fact that it is not an oscilloscope hold it is a kind of a loach. sent2: the fact that the doctorfish is a kind of a Gerbert is not incorrect if it is not neocortical. sent3: there exists something such that if it does not name doctorfish then it is a snatcher. sent4: the abductor does bayonet Acrocephalus if it is not nonsignificant. sent5: if something is not a Nelumbo then it is neocortical. sent6: there is something such that if it is not a azimuth it is a Umbrian. sent7: if the doctorfish is not neocortical that it is nonsignificant is not incorrect. sent8: there is something such that if it is not a gather then it is a kind of a Nelumbo. sent9: if the doctorfish is neocortical then it is nonsignificant. sent10: there exists something such that if it is neocortical the fact that it is nonsignificant hold. sent11: a non-neocortical thing is a Hercules'-club. sent12: there exists something such that if it is not unhelpful then it is alkylic.
sent7 -> hypothesis;
if the garganey is not a Nelumbo then it is neocortical.
sent5 -> hypothesis;
$hypothesis$ = there is something such that if it is non-neocortical it is nonsignificant. ; $context$ = sent1: there exists something such that if the fact that it is not an oscilloscope hold it is a kind of a loach. sent2: the fact that the doctorfish is a kind of a Gerbert is not incorrect if it is not neocortical. sent3: there exists something such that if it does not name doctorfish then it is a snatcher. sent4: the abductor does bayonet Acrocephalus if it is not nonsignificant. sent5: if something is not a Nelumbo then it is neocortical. sent6: there is something such that if it is not a azimuth it is a Umbrian. sent7: if the doctorfish is not neocortical that it is nonsignificant is not incorrect. sent8: there is something such that if it is not a gather then it is a kind of a Nelumbo. sent9: if the doctorfish is neocortical then it is nonsignificant. sent10: there exists something such that if it is neocortical the fact that it is nonsignificant hold. sent11: a non-neocortical thing is a Hercules'-club. sent12: there exists something such that if it is not unhelpful then it is alkylic. ; $proof$ = 
sent7 -> hypothesis; __PROVED__