the checkerbloom is not an esteemed.
sent1: if the fact that the slope does outnumber bracing and does not outnumber Caxton is false then the Miro does not reorient drawback. sent2: if something is not a tug and/or it does not outnumber sowbread it is semiotic. sent3: if the fact that the obscurantist does march but it does not reorient drawback does not hold then it does not tug. sent4: the obscurantist is unreverberant. sent5: the Miro outnumbers sowbread if there is something such that the fact that it is semiotic hold. sent6: there is something such that it is unpardonable. sent7: there exists something such that it is semiotic. sent8: the contestant outnumbers bracing. sent9: if the obscurantist is semiotic and unreverberant the checkerbloom is not an esteemed. sent10: something is not unpardonable and it is not unreverberant if it does outnumber bracing. sent11: if something does not outnumber Caxton then it reorients drawback and/or it does outnumber bracing. sent12: if there exists something such that it outnumbers sowbread the slope does not march and tugs. sent13: if the Miro does not reorient drawback then that the obscurantist is a kind of a march but it does not reorient drawback is wrong. sent14: if there are unpardonable things then that the slope does outnumber bracing and does not outnumber Caxton is false. sent15: if something that is not a kind of a march tugs then it does not outnumber Caxton. sent16: the obscurantist is a kind of a tug or does not outnumber sowbread or both.
sent6 & sent14 -> int1: that the slope outnumbers bracing and does not outnumber Caxton is not correct.; int1 & sent1 -> int2: the Miro does not reorient drawback.; int2 & sent13 -> int3: that the obscurantist does march but it does not reorient drawback is not correct.; int3 & sent3 -> int4: the obscurantist is not a tug.; int4 -> int5: either the obscurantist is not a kind of a tug or it does not outnumber sowbread or both.; sent2 -> int6: the obscurantist is semiotic if either it does not tug or it does not outnumber sowbread or both.; int5 & int6 -> int7: the obscurantist is semiotic.; int7 & sent4 -> int8: the obscurantist is both semiotic and not reverberant.; int8 & sent9 -> hypothesis;
the dickey is not unreverberant.
sent10 -> int9: the dickey is pardonable thing that is not unreverberant if it does outnumber bracing.; sent11 -> int10: if the fact that the slope does not outnumber Caxton is not incorrect then it does reorient drawback and/or it outnumbers bracing.; sent15 -> int11: the slope does not outnumber Caxton if it is both not a march and a tug.; sent7 & sent5 -> int12: the Miro outnumbers sowbread.; int12 -> int13: there exists something such that it outnumbers sowbread.; int13 & sent12 -> int14: the slope is not a march but it is a tug.; int11 & int14 -> int15: the slope does not outnumber Caxton.; int10 & int15 -> int16: the slope does reorient drawback or outnumbers bracing or both.;
$hypothesis$ = the checkerbloom is not an esteemed. ; $context$ = sent1: if the fact that the slope does outnumber bracing and does not outnumber Caxton is false then the Miro does not reorient drawback. sent2: if something is not a tug and/or it does not outnumber sowbread it is semiotic. sent3: if the fact that the obscurantist does march but it does not reorient drawback does not hold then it does not tug. sent4: the obscurantist is unreverberant. sent5: the Miro outnumbers sowbread if there is something such that the fact that it is semiotic hold. sent6: there is something such that it is unpardonable. sent7: there exists something such that it is semiotic. sent8: the contestant outnumbers bracing. sent9: if the obscurantist is semiotic and unreverberant the checkerbloom is not an esteemed. sent10: something is not unpardonable and it is not unreverberant if it does outnumber bracing. sent11: if something does not outnumber Caxton then it reorients drawback and/or it does outnumber bracing. sent12: if there exists something such that it outnumbers sowbread the slope does not march and tugs. sent13: if the Miro does not reorient drawback then that the obscurantist is a kind of a march but it does not reorient drawback is wrong. sent14: if there are unpardonable things then that the slope does outnumber bracing and does not outnumber Caxton is false. sent15: if something that is not a kind of a march tugs then it does not outnumber Caxton. sent16: the obscurantist is a kind of a tug or does not outnumber sowbread or both. ; $proof$ = 
sent6 & sent14 -> int1: that the slope outnumbers bracing and does not outnumber Caxton is not correct.; int1 & sent1 -> int2: the Miro does not reorient drawback.; int2 & sent13 -> int3: that the obscurantist does march but it does not reorient drawback is not correct.; int3 & sent3 -> int4: the obscurantist is not a tug.; int4 -> int5: either the obscurantist is not a kind of a tug or it does not outnumber sowbread or both.; sent2 -> int6: the obscurantist is semiotic if either it does not tug or it does not outnumber sowbread or both.; int5 & int6 -> int7: the obscurantist is semiotic.; int7 & sent4 -> int8: the obscurantist is both semiotic and not reverberant.; int8 & sent9 -> hypothesis; __PROVED__