the hellion is not a pervasiveness.
sent1: the snorter is disproportionate and it is bicylindrical if there exists something such that it does tabulate cramped. sent2: the snorter is not bicylindrical if there are pelvic things. sent3: if the hellion is not rh-positive and/or it is not disproportionate the snorter is rh-positive. sent4: the soundman is an aid and it does misgive Manipur. sent5: there exists something such that that it is not bicylindrical and is not a kind of a pervasiveness is false. sent6: the fact that the hellion is a pervasiveness is incorrect if the snorter is bicylindrical. sent7: there is something such that that it is not a cotter and is not pelvic does not hold. sent8: if that the snorter is rh-positive is not wrong then the eland is not rh-positive. sent9: the hellion is not pelvic. sent10: something is not rh-positive or it is not disproportionate or both if it does not tabulate cramped. sent11: if the snorter is not bicylindrical then the hellion is a pervasiveness that is bicylindrical. sent12: if there exists something such that the fact that it is not a cotter and is not pelvic is false then the snorter is not bicylindrical. sent13: if the snorter is non-bicylindrical then the hellion is non-bicylindrical. sent14: something is not a kind of a cotter and it is not pelvic. sent15: there is something such that the fact that it is not a cotter but pelvic does not hold. sent16: the hellion is bicylindrical. sent17: the plaza is bicylindrical. sent18: there exists something such that that it is a kind of a cotter that is not pelvic is not right.
sent7 & sent12 -> int1: the snorter is not bicylindrical.; sent11 & int1 -> int2: the hellion is a kind of a pervasiveness and it is bicylindrical.; int2 -> hypothesis;
that the hellion is not a pervasiveness is right.
$hypothesis$ = the hellion is not a pervasiveness. ; $context$ = sent1: the snorter is disproportionate and it is bicylindrical if there exists something such that it does tabulate cramped. sent2: the snorter is not bicylindrical if there are pelvic things. sent3: if the hellion is not rh-positive and/or it is not disproportionate the snorter is rh-positive. sent4: the soundman is an aid and it does misgive Manipur. sent5: there exists something such that that it is not bicylindrical and is not a kind of a pervasiveness is false. sent6: the fact that the hellion is a pervasiveness is incorrect if the snorter is bicylindrical. sent7: there is something such that that it is not a cotter and is not pelvic does not hold. sent8: if that the snorter is rh-positive is not wrong then the eland is not rh-positive. sent9: the hellion is not pelvic. sent10: something is not rh-positive or it is not disproportionate or both if it does not tabulate cramped. sent11: if the snorter is not bicylindrical then the hellion is a pervasiveness that is bicylindrical. sent12: if there exists something such that the fact that it is not a cotter and is not pelvic is false then the snorter is not bicylindrical. sent13: if the snorter is non-bicylindrical then the hellion is non-bicylindrical. sent14: something is not a kind of a cotter and it is not pelvic. sent15: there is something such that the fact that it is not a cotter but pelvic does not hold. sent16: the hellion is bicylindrical. sent17: the plaza is bicylindrical. sent18: there exists something such that that it is a kind of a cotter that is not pelvic is not right. ; $proof$ = 
sent7 & sent12 -> int1: the snorter is not bicylindrical.; sent11 & int1 -> int2: the hellion is a kind of a pervasiveness and it is bicylindrical.; int2 -> hypothesis; __DISPROVED__