that there is something such that if it is not shut and it is not a Hyperion then it does not raven Afro-wig is wrong.
sent1: there exists something such that if it is shut and it is not a Hyperion it does not raven Afro-wig. sent2: the fact that there is something such that if it is not a Madeiras and it is nonrepresentational it is not a blackwash is not wrong. sent3: if the harp is not non-shut and is not a Hyperion then the fact that it does not raven Afro-wig is right. sent4: there is something such that if it is not a kind of a guimpe and it is not aesculapian then it liquefies Zomba. sent5: the fact that the harp does not raven Afro-wig is not wrong if the fact that it is not shut and it is not a kind of a Hyperion is correct. sent6: there exists something such that if it is not shut and it is not a Hyperion it ravens Afro-wig.
sent5 -> hypothesis;
$hypothesis$ = that there is something such that if it is not shut and it is not a Hyperion then it does not raven Afro-wig is wrong. ; $context$ = sent1: there exists something such that if it is shut and it is not a Hyperion it does not raven Afro-wig. sent2: the fact that there is something such that if it is not a Madeiras and it is nonrepresentational it is not a blackwash is not wrong. sent3: if the harp is not non-shut and is not a Hyperion then the fact that it does not raven Afro-wig is right. sent4: there is something such that if it is not a kind of a guimpe and it is not aesculapian then it liquefies Zomba. sent5: the fact that the harp does not raven Afro-wig is not wrong if the fact that it is not shut and it is not a kind of a Hyperion is correct. sent6: there exists something such that if it is not shut and it is not a Hyperion it ravens Afro-wig. ; $proof$ = 
sent5 -> hypothesis; __DISPROVED__