the fact that the absolver is not an antiseptic and is a mystic does not hold.
sent1: if the bootblack is not a jingle the talc does not permute contour. sent2: the bootblack does persist and it is a jingle. sent3: if the bootblack persists the fact that the perihelion is Hemingwayesque but it is not undulatory is not right. sent4: that the talc is a weekday that does not checkmate sparrow is incorrect. sent5: if the talc does not permute contour that that it is a kind of a weekday that does not checkmate sparrow hold is false. sent6: the perihelion does not persist if the puka is undulatory and/or it is Hemingwayesque. sent7: the talc is a kind of a hamster and is not a kind of a Winchester. sent8: the talc does not permute contour if the fact that the bootblack is a kind of a jingle that immortalizes ruse is not right. sent9: if the fact that something is not a kind of a jingle and does not permute contour does not hold then it is not Hemingwayesque. sent10: if that something does not immortalize ruse and it does not jingle is not right then it is not Hemingwayesque. sent11: the fact that the fact that something is not a weekday and does not checkmate sparrow is true is incorrect if it does not permute contour. sent12: if the puka is non-Hemingwayesque then the fact that that the absolver is not a kind of an antiseptic and is mystic is correct does not hold. sent13: the fact that the bootblack does permute contour and it does immortalize ruse is not right if the talc is not a kind of a weekday. sent14: if that something is not a weekday and does not checkmate sparrow is not right it is not a hamster. sent15: that the talc is not a weekday and does checkmate sparrow is not true. sent16: the fact that the bootblack does not checkmate pastness hold.
void -> assump1: Let's assume that that the puka is Hemingwayesque is not false.; assump1 -> int1: either the puka is undulatory or it is Hemingwayesque or both.; int1 & sent6 -> int2: the perihelion does not persist.; sent11 -> int3: the fact that the talc is not a weekday and does not checkmate sparrow is false if it does not permute contour.; sent14 -> int4: if the fact that the talc is not a kind of a weekday and does not checkmate sparrow is wrong then it is not a kind of a hamster.; sent7 -> int5: the talc is a hamster.;
the absolver is both non-antiseptic and not non-mystic.
sent2 -> int6: the bootblack does persist.; sent3 & int6 -> int7: that the perihelion is Hemingwayesque and not undulatory does not hold.; int7 -> int8: there is something such that that it is Hemingwayesque but not undulatory is wrong.;
$hypothesis$ = the fact that the absolver is not an antiseptic and is a mystic does not hold. ; $context$ = sent1: if the bootblack is not a jingle the talc does not permute contour. sent2: the bootblack does persist and it is a jingle. sent3: if the bootblack persists the fact that the perihelion is Hemingwayesque but it is not undulatory is not right. sent4: that the talc is a weekday that does not checkmate sparrow is incorrect. sent5: if the talc does not permute contour that that it is a kind of a weekday that does not checkmate sparrow hold is false. sent6: the perihelion does not persist if the puka is undulatory and/or it is Hemingwayesque. sent7: the talc is a kind of a hamster and is not a kind of a Winchester. sent8: the talc does not permute contour if the fact that the bootblack is a kind of a jingle that immortalizes ruse is not right. sent9: if the fact that something is not a kind of a jingle and does not permute contour does not hold then it is not Hemingwayesque. sent10: if that something does not immortalize ruse and it does not jingle is not right then it is not Hemingwayesque. sent11: the fact that the fact that something is not a weekday and does not checkmate sparrow is true is incorrect if it does not permute contour. sent12: if the puka is non-Hemingwayesque then the fact that that the absolver is not a kind of an antiseptic and is mystic is correct does not hold. sent13: the fact that the bootblack does permute contour and it does immortalize ruse is not right if the talc is not a kind of a weekday. sent14: if that something is not a weekday and does not checkmate sparrow is not right it is not a hamster. sent15: that the talc is not a weekday and does checkmate sparrow is not true. sent16: the fact that the bootblack does not checkmate pastness hold. ; $proof$ = 
void -> assump1: Let's assume that that the puka is Hemingwayesque is not false.; assump1 -> int1: either the puka is undulatory or it is Hemingwayesque or both.; int1 & sent6 -> int2: the perihelion does not persist.; sent11 -> int3: the fact that the talc is not a weekday and does not checkmate sparrow is false if it does not permute contour.; sent14 -> int4: if the fact that the talc is not a kind of a weekday and does not checkmate sparrow is wrong then it is not a kind of a hamster.; sent7 -> int5: the talc is a hamster.; __UNKNOWN__