that the penis is foreleg thing that is a Aden hold.
sent1: the fact that the gun is theological hold. sent2: the carousel is ichorous. sent3: if the gun is not foreleg then the penis is foreleg and it is packable. sent4: the penis is both a Aden and a spinach if the gun is not a Aden. sent5: the Marylander is jihadi if it is not non-ichorous. sent6: the gun is an epidemic if it is collapsible. sent7: if something is non-ichorous then the gun does glom. sent8: if the dogie does not reflect penis and it is not a run the plaster is a virginal. sent9: the penis is a sigmoidectomy. sent10: the shift is packable if the gun is not packable. sent11: the penis is not a Clyde and is a kind of a sigmoidectomy. sent12: the gun does not glom if it is not non-packable and not non-epidemic. sent13: the Pembroke is not automotive but it is a kind of a stamp. sent14: the gun is trapezoidal and it is foreleg. sent15: there exists something such that it is not non-ichorous. sent16: the penis is foreleg if it is not a Clyde and it is a sigmoidectomy. sent17: if the penis does not glom the gun is not packable and not an epidemic. sent18: if there exists something such that it is not a spinach then the snifter is a kind of an epidemic. sent19: if the snifter is foreleg but it does not glom then the penis does not glom. sent20: that the gun is collapsible is not false. sent21: if the fact that the differentiation is not collapsible but it is a sigmoidectomy is wrong the snifter is not collapsible. sent22: if something does not glom the gun is not non-epidemic. sent23: something that is virginal is a Clyde and not ichorous. sent24: the differentiation is not a spinach. sent25: if that the plaster is a Clyde is correct then that the differentiation is a kind of non-collapsible a sigmoidectomy is incorrect. sent26: the penis is ichorous. sent27: if the gun is a Aden then it is packable.
void -> assump1: Let's assume that the gun is a kind of a Aden.; sent27 & assump1 -> int1: the gun is packable.; sent6 & sent20 -> int2: the gun is a kind of an epidemic.; int1 & int2 -> int3: the gun is packable and it is an epidemic.; int3 & sent12 -> int4: the gun does not glom.; sent16 & sent11 -> int5: the penis is foreleg.;
that the penis is a kind of foreleg thing that is a Aden is wrong.
sent24 -> int6: there is something such that it is not a spinach.; int6 & sent18 -> int7: the snifter is epidemic.;
$hypothesis$ = that the penis is foreleg thing that is a Aden hold. ; $context$ = sent1: the fact that the gun is theological hold. sent2: the carousel is ichorous. sent3: if the gun is not foreleg then the penis is foreleg and it is packable. sent4: the penis is both a Aden and a spinach if the gun is not a Aden. sent5: the Marylander is jihadi if it is not non-ichorous. sent6: the gun is an epidemic if it is collapsible. sent7: if something is non-ichorous then the gun does glom. sent8: if the dogie does not reflect penis and it is not a run the plaster is a virginal. sent9: the penis is a sigmoidectomy. sent10: the shift is packable if the gun is not packable. sent11: the penis is not a Clyde and is a kind of a sigmoidectomy. sent12: the gun does not glom if it is not non-packable and not non-epidemic. sent13: the Pembroke is not automotive but it is a kind of a stamp. sent14: the gun is trapezoidal and it is foreleg. sent15: there exists something such that it is not non-ichorous. sent16: the penis is foreleg if it is not a Clyde and it is a sigmoidectomy. sent17: if the penis does not glom the gun is not packable and not an epidemic. sent18: if there exists something such that it is not a spinach then the snifter is a kind of an epidemic. sent19: if the snifter is foreleg but it does not glom then the penis does not glom. sent20: that the gun is collapsible is not false. sent21: if the fact that the differentiation is not collapsible but it is a sigmoidectomy is wrong the snifter is not collapsible. sent22: if something does not glom the gun is not non-epidemic. sent23: something that is virginal is a Clyde and not ichorous. sent24: the differentiation is not a spinach. sent25: if that the plaster is a Clyde is correct then that the differentiation is a kind of non-collapsible a sigmoidectomy is incorrect. sent26: the penis is ichorous. sent27: if the gun is a Aden then it is packable. ; $proof$ = 
void -> assump1: Let's assume that the gun is a kind of a Aden.; sent27 & assump1 -> int1: the gun is packable.; sent6 & sent20 -> int2: the gun is a kind of an epidemic.; int1 & int2 -> int3: the gun is packable and it is an epidemic.; int3 & sent12 -> int4: the gun does not glom.; sent16 & sent11 -> int5: the penis is foreleg.; __UNKNOWN__