that there is something such that if it is a kind of non-light-duty thing that overawes Frobisher then it overawes Humperdinck does not hold.
sent1: the abiogenist rags if it is not a doo-wop and overawes cliffhanger. sent2: that the abiogenist is apophyseal is not wrong if it is a novelization and it is light-duty. sent3: if the abiogenist is not light-duty and does overawe Frobisher then it does overawe Humperdinck. sent4: if the ulster is a kind of non-basophilic thing that is a sorgo it is a Tennessee. sent5: the buck is light-duty if it is not a NSWC and it does overawe cliffhanger. sent6: there exists something such that if it is non-antistrophic thing that is syncretic it is a kind of a form. sent7: if something is not an adz but it does gauge indent it overawes Frobisher. sent8: there is something such that if it is not a painted and it does tag dotted it does coordinate. sent9: something is a nosedive if it is not a negative and overawes Humperdinck. sent10: the abiogenist does overawe Humperdinck if it is light-duty and does overawe Frobisher. sent11: the electricity overawes Frobisher if it is a urethra and is a kind of a NSWC. sent12: there is something such that if it does gauge indent and it is a kind of a Beveridge it is a penalty. sent13: the small is a kind of a merchant if it is not relevant and is light-duty. sent14: there exists something such that if it is anastigmatic and does gauge liquor it is a tempera. sent15: there is something such that if it is light-duty and overawes Frobisher it does overawe Humperdinck. sent16: if something does not transit but it overawes Frobisher it does gauge contrary.
sent3 -> hypothesis;
if the cytoskeleton does not transit and overawes Frobisher then that it does gauge contrary is true.
sent16 -> hypothesis;
$hypothesis$ = that there is something such that if it is a kind of non-light-duty thing that overawes Frobisher then it overawes Humperdinck does not hold. ; $context$ = sent1: the abiogenist rags if it is not a doo-wop and overawes cliffhanger. sent2: that the abiogenist is apophyseal is not wrong if it is a novelization and it is light-duty. sent3: if the abiogenist is not light-duty and does overawe Frobisher then it does overawe Humperdinck. sent4: if the ulster is a kind of non-basophilic thing that is a sorgo it is a Tennessee. sent5: the buck is light-duty if it is not a NSWC and it does overawe cliffhanger. sent6: there exists something such that if it is non-antistrophic thing that is syncretic it is a kind of a form. sent7: if something is not an adz but it does gauge indent it overawes Frobisher. sent8: there is something such that if it is not a painted and it does tag dotted it does coordinate. sent9: something is a nosedive if it is not a negative and overawes Humperdinck. sent10: the abiogenist does overawe Humperdinck if it is light-duty and does overawe Frobisher. sent11: the electricity overawes Frobisher if it is a urethra and is a kind of a NSWC. sent12: there is something such that if it does gauge indent and it is a kind of a Beveridge it is a penalty. sent13: the small is a kind of a merchant if it is not relevant and is light-duty. sent14: there exists something such that if it is anastigmatic and does gauge liquor it is a tempera. sent15: there is something such that if it is light-duty and overawes Frobisher it does overawe Humperdinck. sent16: if something does not transit but it overawes Frobisher it does gauge contrary. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__