the batiste does not insert sprawler.
sent1: if the bola is not a matted and/or it is not antigenic it is not a whip. sent2: something is curly if the fact that it does stratify up-tick and it does not hype Schadenfreude is false. sent3: if something is curly it inserts sprawler. sent4: that something is a cage and it is cervine is wrong if it is not a whip. sent5: if the fact that the bola does cage and it is cervine does not hold the Stoic does not shelve. sent6: if something is not cervine and/or it does not whip it does not insert sprawler. sent7: if the batiste cages or it does shelve or both it is not cervine. sent8: either the bola is not a matted or it is non-antigenic or both. sent9: the fact that the batiste does stratify up-tick but it does not hype Schadenfreude is not true if there exists something such that it does not shelve.
sent1 & sent8 -> int1: the bola is not a whip.; sent4 -> int2: the fact that the bola is a cage but not non-cervine does not hold if it is not a whip.; int1 & int2 -> int3: the fact that the bola is a cage and cervine is not right.; int3 & sent5 -> int4: the Stoic does not shelve.; int4 -> int5: there exists something such that it does not shelve.; int5 & sent9 -> int6: that the batiste stratifies up-tick and does not hype Schadenfreude does not hold.; sent2 -> int7: if the fact that the batiste stratifies up-tick but it does not hype Schadenfreude is not right it is curly.; int6 & int7 -> int8: the batiste is curly.; sent3 -> int9: the batiste does insert sprawler if it is curly.; int8 & int9 -> hypothesis;
the batiste does not insert sprawler.
sent6 -> int10: if the batiste is not cervine and/or it does not whip it does not insert sprawler.;
$hypothesis$ = the batiste does not insert sprawler. ; $context$ = sent1: if the bola is not a matted and/or it is not antigenic it is not a whip. sent2: something is curly if the fact that it does stratify up-tick and it does not hype Schadenfreude is false. sent3: if something is curly it inserts sprawler. sent4: that something is a cage and it is cervine is wrong if it is not a whip. sent5: if the fact that the bola does cage and it is cervine does not hold the Stoic does not shelve. sent6: if something is not cervine and/or it does not whip it does not insert sprawler. sent7: if the batiste cages or it does shelve or both it is not cervine. sent8: either the bola is not a matted or it is non-antigenic or both. sent9: the fact that the batiste does stratify up-tick but it does not hype Schadenfreude is not true if there exists something such that it does not shelve. ; $proof$ = 
sent1 & sent8 -> int1: the bola is not a whip.; sent4 -> int2: the fact that the bola is a cage but not non-cervine does not hold if it is not a whip.; int1 & int2 -> int3: the fact that the bola is a cage and cervine is not right.; int3 & sent5 -> int4: the Stoic does not shelve.; int4 -> int5: there exists something such that it does not shelve.; int5 & sent9 -> int6: that the batiste stratifies up-tick and does not hype Schadenfreude does not hold.; sent2 -> int7: if the fact that the batiste stratifies up-tick but it does not hype Schadenfreude is not right it is curly.; int6 & int7 -> int8: the batiste is curly.; sent3 -> int9: the batiste does insert sprawler if it is curly.; int8 & int9 -> hypothesis; __DISPROVED__