the brucine does singularize Oxydendrum.
sent1: the brucine is a rent. sent2: the brucine is a kind of a rheostat. sent3: if that something does not intercede and it does not melanize shore is false then that it mummifies hold. sent4: if something does not melanize cellulose then it is not a rent. sent5: if something does not repine squab and is a consul then it does not melanize cellulose. sent6: the ten-spot does not repine squab if it mummifies. sent7: if something does singularize Oxydendrum then it is a rheostat. sent8: the ten-spot does mummify if the waddler does mummify. sent9: the parcel is not a rent if that the brucine is not a rent and it is not a kind of a rheostat is not true. sent10: that the waddler does not intercede and does not melanize shore does not hold. sent11: if the fact that the brucine does singularize Oxydendrum is not false the cellulose does not rent. sent12: either the cellulose is a rheostat or it singularizes Oxydendrum or both if the ten-spot is not a kind of a rent. sent13: that the fell is not a kind of a consul but it is an absolutist is incorrect. sent14: if something either does repine squab or does not melanize cellulose or both it does singularize Oxydendrum. sent15: the cellulose is a daystar. sent16: the cellulose does not singularize Oxydendrum if the brucine does rent. sent17: the ten-spot is a rheostat. sent18: that the cellulose rents hold if the fact that the ten-spot is a rheostat is not false.
void -> assump1: Let's assume that the brucine singularizes Oxydendrum.; sent11 & assump1 -> int1: the cellulose does not rent.; sent18 & sent17 -> int2: the cellulose is a rent.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the parcel does not rent.
sent7 -> int4: if the fact that the cellulose does singularize Oxydendrum hold then it is a rheostat.; sent14 -> int5: the cellulose does singularize Oxydendrum if either it does repine squab or it does not melanize cellulose or both.;
$hypothesis$ = the brucine does singularize Oxydendrum. ; $context$ = sent1: the brucine is a rent. sent2: the brucine is a kind of a rheostat. sent3: if that something does not intercede and it does not melanize shore is false then that it mummifies hold. sent4: if something does not melanize cellulose then it is not a rent. sent5: if something does not repine squab and is a consul then it does not melanize cellulose. sent6: the ten-spot does not repine squab if it mummifies. sent7: if something does singularize Oxydendrum then it is a rheostat. sent8: the ten-spot does mummify if the waddler does mummify. sent9: the parcel is not a rent if that the brucine is not a rent and it is not a kind of a rheostat is not true. sent10: that the waddler does not intercede and does not melanize shore does not hold. sent11: if the fact that the brucine does singularize Oxydendrum is not false the cellulose does not rent. sent12: either the cellulose is a rheostat or it singularizes Oxydendrum or both if the ten-spot is not a kind of a rent. sent13: that the fell is not a kind of a consul but it is an absolutist is incorrect. sent14: if something either does repine squab or does not melanize cellulose or both it does singularize Oxydendrum. sent15: the cellulose is a daystar. sent16: the cellulose does not singularize Oxydendrum if the brucine does rent. sent17: the ten-spot is a rheostat. sent18: that the cellulose rents hold if the fact that the ten-spot is a rheostat is not false. ; $proof$ = 
void -> assump1: Let's assume that the brucine singularizes Oxydendrum.; sent11 & assump1 -> int1: the cellulose does not rent.; sent18 & sent17 -> int2: the cellulose is a rent.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__