the fact that the lustrum does not occur and the on-lineness does not occur is wrong.
sent1: if the spitter occurs not the molestation but the rambling foster-child happens. sent2: the fact that the continuation does not occur and the calming does not occur does not hold if the sporadicness does not occur. sent3: the proteolyticness occurs. sent4: if the diaphoreticness does not occur then that the cuneiformness and the animation happens is false. sent5: the bending happens. sent6: that the Puranicness occurs but the C-section does not occur does not hold if the distention happens. sent7: if the fact that the Puranicness occurs and the C-section does not occur is not true that the Puranicness does not occur is not incorrect. sent8: if that the cuneiformness happens and the animation occurs is wrong the sporadicness does not occur. sent9: the spitter occurs. sent10: if the calmness occurs then the proteolyticness but not the bending happens. sent11: that the diaphoretic does not occur is right if the axing seemliness happens and the commiserating umbilical happens. sent12: if the fact that the socializing but not the disposal occurs is not true the instructing Campbell occurs. sent13: if the instructing Campbell occurs the destabilizing does not occur and the axing seemliness happens. sent14: the lustrum does not occur. sent15: the on-lineness does not occur if the bending occurs and the proteolyticness occurs. sent16: if the Puranicness does not occur then the commiserating umbilical happens and the myringectomy happens. sent17: if the molestation does not occur then the fact that the socializing but not the disposal occurs is not right. sent18: if the fact that the bending does not occur hold then that the lustrum does not occur and the on-lineness does not occur does not hold. sent19: the calm happens if that the fact that the continuation does not occur and the calm does not occur is true is false. sent20: the distention happens if the quitting happens.
sent5 & sent3 -> int1: the bending and the proteolyticness occurs.; int1 & sent15 -> int2: the on-lineness does not occur.; int2 & sent14 -> hypothesis;
the fact that the lustrum does not occur and the on-lineness does not occur is incorrect.
sent1 & sent9 -> int3: not the molestation but the rambling foster-child occurs.; int3 -> int4: the molestation does not occur.; sent17 & int4 -> int5: that the socializing but not the disposal occurs is not true.; sent12 & int5 -> int6: the instructing Campbell happens.; sent13 & int6 -> int7: the destabilizing does not occur but the axing seemliness occurs.; int7 -> int8: the axing seemliness happens.;
$hypothesis$ = the fact that the lustrum does not occur and the on-lineness does not occur is wrong. ; $context$ = sent1: if the spitter occurs not the molestation but the rambling foster-child happens. sent2: the fact that the continuation does not occur and the calming does not occur does not hold if the sporadicness does not occur. sent3: the proteolyticness occurs. sent4: if the diaphoreticness does not occur then that the cuneiformness and the animation happens is false. sent5: the bending happens. sent6: that the Puranicness occurs but the C-section does not occur does not hold if the distention happens. sent7: if the fact that the Puranicness occurs and the C-section does not occur is not true that the Puranicness does not occur is not incorrect. sent8: if that the cuneiformness happens and the animation occurs is wrong the sporadicness does not occur. sent9: the spitter occurs. sent10: if the calmness occurs then the proteolyticness but not the bending happens. sent11: that the diaphoretic does not occur is right if the axing seemliness happens and the commiserating umbilical happens. sent12: if the fact that the socializing but not the disposal occurs is not true the instructing Campbell occurs. sent13: if the instructing Campbell occurs the destabilizing does not occur and the axing seemliness happens. sent14: the lustrum does not occur. sent15: the on-lineness does not occur if the bending occurs and the proteolyticness occurs. sent16: if the Puranicness does not occur then the commiserating umbilical happens and the myringectomy happens. sent17: if the molestation does not occur then the fact that the socializing but not the disposal occurs is not right. sent18: if the fact that the bending does not occur hold then that the lustrum does not occur and the on-lineness does not occur does not hold. sent19: the calm happens if that the fact that the continuation does not occur and the calm does not occur is true is false. sent20: the distention happens if the quitting happens. ; $proof$ = 
sent5 & sent3 -> int1: the bending and the proteolyticness occurs.; int1 & sent15 -> int2: the on-lineness does not occur.; int2 & sent14 -> hypothesis; __DISPROVED__