the pushover is not mammalian but it is a kind of a Nestorius.
sent1: if the dura does not jiggle or is a kind of an archer or both then the pushover is defeasible. sent2: the fact that the dura does not jiggle and is defeasible is not correct if the townsman is not a kind of a sixth-former. sent3: the pushover is non-mammalian thing that is a Nestorius if the goatskin is not mammalian. sent4: the townsman is not a checksum but it is unexpansive. sent5: if the handcar is a squawk and is not anthropogenetic then the audile is not nonradioactive. sent6: that the townsman is not anemographic but it is medullary is wrong. sent7: the townsman racks. sent8: if something is zoological it is not a sixth-former but a rack. sent9: if the townsman is not a checksum but it is unexpansive it is zoological. sent10: the audile does not rack if there is something such that that it is a kind of a rack and it is not zoological is incorrect. sent11: if the townsman is not a Cuban then it either is not surface-to-air or is not unexpansive or both. sent12: something does not jiggle and/or is a kind of an archer if it is nonradioactive. sent13: the handcar squawks. sent14: the goatskin is either mammalian or not a Nestorius or both. sent15: if the audile is unexpansive the townsman is nonradioactive. sent16: if something is not surface-to-air or not unexpansive or both then the goatskin is a checksum. sent17: if something is zoological it is a rack. sent18: that the dura does jiggle and is defeasible is not true. sent19: something is an archer if that it is a squawk and it is not anthropogenetic is incorrect. sent20: that something does rack but it is not zoological is wrong if it is a checksum. sent21: the fact that something is non-mammalian but it is a kind of a Nestorius does not hold if it is defeasible. sent22: if the fact that the townsman is a kind of non-anemographic thing that is medullary does not hold then it is not a kind of a Cuban. sent23: if the handcar is not a squawk then it is an archer. sent24: the dura does not jiggle if there is something such that it is an archer. sent25: the goatskin is mammalian if the audile is not nonradioactive.
sent19 -> int1: if that that the handcar does squawk but it is not anthropogenetic is right is incorrect then it is a kind of an archer.; void -> assump1: Let's assume that the fact that the handcar is a kind of a squawk but it is not anthropogenetic does not hold.; int1 & assump1 -> int2: the handcar is a kind of an archer.; int2 -> int3: there exists something such that it is a kind of an archer.; sent8 -> int4: if the townsman is zoological then it is not a sixth-former and is a rack.; sent9 & sent4 -> int5: the townsman is zoological.; int4 & int5 -> int6: the townsman is not a sixth-former but it racks.; int6 -> int7: the townsman is not a kind of a sixth-former.; sent2 & int7 -> int8: that the dura does not jiggle but it is defeasible is wrong.;
the silvervine is not a spokesman but it does jiggle.
$hypothesis$ = the pushover is not mammalian but it is a kind of a Nestorius. ; $context$ = sent1: if the dura does not jiggle or is a kind of an archer or both then the pushover is defeasible. sent2: the fact that the dura does not jiggle and is defeasible is not correct if the townsman is not a kind of a sixth-former. sent3: the pushover is non-mammalian thing that is a Nestorius if the goatskin is not mammalian. sent4: the townsman is not a checksum but it is unexpansive. sent5: if the handcar is a squawk and is not anthropogenetic then the audile is not nonradioactive. sent6: that the townsman is not anemographic but it is medullary is wrong. sent7: the townsman racks. sent8: if something is zoological it is not a sixth-former but a rack. sent9: if the townsman is not a checksum but it is unexpansive it is zoological. sent10: the audile does not rack if there is something such that that it is a kind of a rack and it is not zoological is incorrect. sent11: if the townsman is not a Cuban then it either is not surface-to-air or is not unexpansive or both. sent12: something does not jiggle and/or is a kind of an archer if it is nonradioactive. sent13: the handcar squawks. sent14: the goatskin is either mammalian or not a Nestorius or both. sent15: if the audile is unexpansive the townsman is nonradioactive. sent16: if something is not surface-to-air or not unexpansive or both then the goatskin is a checksum. sent17: if something is zoological it is a rack. sent18: that the dura does jiggle and is defeasible is not true. sent19: something is an archer if that it is a squawk and it is not anthropogenetic is incorrect. sent20: that something does rack but it is not zoological is wrong if it is a checksum. sent21: the fact that something is non-mammalian but it is a kind of a Nestorius does not hold if it is defeasible. sent22: if the fact that the townsman is a kind of non-anemographic thing that is medullary does not hold then it is not a kind of a Cuban. sent23: if the handcar is not a squawk then it is an archer. sent24: the dura does not jiggle if there is something such that it is an archer. sent25: the goatskin is mammalian if the audile is not nonradioactive. ; $proof$ = 
sent19 -> int1: if that that the handcar does squawk but it is not anthropogenetic is right is incorrect then it is a kind of an archer.; void -> assump1: Let's assume that the fact that the handcar is a kind of a squawk but it is not anthropogenetic does not hold.; int1 & assump1 -> int2: the handcar is a kind of an archer.; int2 -> int3: there exists something such that it is a kind of an archer.; sent8 -> int4: if the townsman is zoological then it is not a sixth-former and is a rack.; sent9 & sent4 -> int5: the townsman is zoological.; int4 & int5 -> int6: the townsman is not a sixth-former but it racks.; int6 -> int7: the townsman is not a kind of a sixth-former.; sent2 & int7 -> int8: that the dura does not jiggle but it is defeasible is wrong.; __UNKNOWN__