that the forum is a pickled and is not a breastplate if the fact that the sweatsuit does not undercut BA is correct is incorrect.
sent1: if the streptodornase is not a pickled the forum is ecological. sent2: the streptodornase is ecological but it is not a spray. sent3: the rivulet is a kind of a pickled. sent4: the sweatsuit undercuts BA but it is not obligational if the fact that the rivulet pickles is incorrect. sent5: the streptodornase pickles if the forum is not ecological. sent6: the shears is axiological but it is not ecological. sent7: if the fact that the sweatsuit does undercut BA is not wrong then the forum does pickle but it is not a breastplate. sent8: the forum is not a breastplate. sent9: if the streptodornase is a kind of a pickled then the forum does pickled but it is not a breastplate. sent10: the rivulet is not obligational if the deerberry sprays but it is not domiciliary. sent11: the deerberry is both a spray and not domiciliary if that the sweatsuit does not undercut BA is not false. sent12: the deerberry is not domiciliary. sent13: that the rivulet is not obligational is true if the deerberry does spray and is domiciliary. sent14: the forum is a spray but it does not pickle if the deerberry is a spray. sent15: the streptodornase is a kind of ecological a pickled if the rivulet is not obligational.
void -> assump1: Let's assume that that the sweatsuit does not undercut BA is right.; sent11 & assump1 -> int1: the deerberry is a spray and not domiciliary.; sent10 & int1 -> int2: the rivulet is not obligational.; sent15 & int2 -> int3: the streptodornase is ecological and it pickles.; int3 -> int4: that the streptodornase does pickle is correct.; sent9 & int4 -> int5: the forum does pickle but it is not a breastplate.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the forum is a pickled and is not a breastplate if the fact that the sweatsuit does not undercut BA is correct is incorrect. ; $context$ = sent1: if the streptodornase is not a pickled the forum is ecological. sent2: the streptodornase is ecological but it is not a spray. sent3: the rivulet is a kind of a pickled. sent4: the sweatsuit undercuts BA but it is not obligational if the fact that the rivulet pickles is incorrect. sent5: the streptodornase pickles if the forum is not ecological. sent6: the shears is axiological but it is not ecological. sent7: if the fact that the sweatsuit does undercut BA is not wrong then the forum does pickle but it is not a breastplate. sent8: the forum is not a breastplate. sent9: if the streptodornase is a kind of a pickled then the forum does pickled but it is not a breastplate. sent10: the rivulet is not obligational if the deerberry sprays but it is not domiciliary. sent11: the deerberry is both a spray and not domiciliary if that the sweatsuit does not undercut BA is not false. sent12: the deerberry is not domiciliary. sent13: that the rivulet is not obligational is true if the deerberry does spray and is domiciliary. sent14: the forum is a spray but it does not pickle if the deerberry is a spray. sent15: the streptodornase is a kind of ecological a pickled if the rivulet is not obligational. ; $proof$ = 
void -> assump1: Let's assume that that the sweatsuit does not undercut BA is right.; sent11 & assump1 -> int1: the deerberry is a spray and not domiciliary.; sent10 & int1 -> int2: the rivulet is not obligational.; sent15 & int2 -> int3: the streptodornase is ecological and it pickles.; int3 -> int4: that the streptodornase does pickle is correct.; sent9 & int4 -> int5: the forum does pickle but it is not a breastplate.; [assump1] & int5 -> hypothesis; __DISPROVED__