there is something such that if it is anaerobic it is not a protoarcheology and it is not top-down.
sent1: the fact that the fibroblast is not a posterior and it is not a protoarcheology is not wrong if it is anasarcous. sent2: there is something such that if it unmakes fulminate then it is not a kind of a slops. sent3: the star-glory is not anaerobic and it is not a buckminsterfullerene if it is a kind of a Lorre. sent4: there exists something such that if it is a faun it does not connive and it is not chirpy. sent5: a extroversive thing is a kind of Leonardesque thing that is not a sympathectomy. sent6: something is not operationalist and it is non-Leonardesque if it is top-down. sent7: there is something such that if it is a disconnection then it is substantial and is not an antigen. sent8: something is not a kind of a protoarcheology and it is not top-down if it is anaerobic.
sent8 -> int1: the fibroblast is not a protoarcheology and not top-down if it is anaerobic.; int1 -> hypothesis;
the Galliano is not operationalist and it is not Leonardesque if it is top-down.
sent6 -> hypothesis;
$hypothesis$ = there is something such that if it is anaerobic it is not a protoarcheology and it is not top-down. ; $context$ = sent1: the fact that the fibroblast is not a posterior and it is not a protoarcheology is not wrong if it is anasarcous. sent2: there is something such that if it unmakes fulminate then it is not a kind of a slops. sent3: the star-glory is not anaerobic and it is not a buckminsterfullerene if it is a kind of a Lorre. sent4: there exists something such that if it is a faun it does not connive and it is not chirpy. sent5: a extroversive thing is a kind of Leonardesque thing that is not a sympathectomy. sent6: something is not operationalist and it is non-Leonardesque if it is top-down. sent7: there is something such that if it is a disconnection then it is substantial and is not an antigen. sent8: something is not a kind of a protoarcheology and it is not top-down if it is anaerobic. ; $proof$ = 
sent8 -> int1: the fibroblast is not a protoarcheology and not top-down if it is anaerobic.; int1 -> hypothesis; __PROVED__