the fact that there exists something such that if it is a Limicolae it does beat icepick is not correct.
sent1: if that something is bibliomaniacal is not wrong then it is litigious. sent2: the fact that the archaist is a Limicolae is true if the fact that it is a subordinating hold. sent3: if the archaist does beat tiling it does beat icepick. sent4: there exists something such that if it is a dyeing it is a fundraiser. sent5: if that the archaist is a Limicolae is not incorrect it is a ingrowth. sent6: if something is a kind of a Tallis that it is contrasty is right. sent7: if the archaist does beat icepick it is embolic. sent8: if the fact that the archaist is a Limicolae is not incorrect it beats icepick.
sent8 -> hypothesis;
if the archaist is a kind of a Tallis then it is contrasty.
sent6 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a Limicolae it does beat icepick is not correct. ; $context$ = sent1: if that something is bibliomaniacal is not wrong then it is litigious. sent2: the fact that the archaist is a Limicolae is true if the fact that it is a subordinating hold. sent3: if the archaist does beat tiling it does beat icepick. sent4: there exists something such that if it is a dyeing it is a fundraiser. sent5: if that the archaist is a Limicolae is not incorrect it is a ingrowth. sent6: if something is a kind of a Tallis that it is contrasty is right. sent7: if the archaist does beat icepick it is embolic. sent8: if the fact that the archaist is a Limicolae is not incorrect it beats icepick. ; $proof$ = 
sent8 -> hypothesis; __DISPROVED__