the kneel and the self-assertion occurs if the Mill does not occur.
sent1: the nonconductiveness and the Lamarckian happens. sent2: if the abusing drain does not occur then the burying Portsmouth occurs and the stew happens. sent3: the self-assertion and the burying Portsmouth happens. sent4: the obviation and the analogueness occurs. sent5: the ladling esker and the sweat happens if the Rush does not occur. sent6: the sentencing but not the abusing drain happens if that the substantiveness does not occur hold. sent7: both the burying ibex and the abusing sociable happens. sent8: the winning happens and the nontechnicalness happens. sent9: both the dismount and the abusing twenty-three occurs. sent10: if the Mill does not occur the kneel happens. sent11: if the abusing pregnanediol occurs that the substantiveness does not occur is not false. sent12: the propulsion happens. sent13: the burying Portsmouth happens. sent14: that the kneel occurs and the self-assertion happens is caused by that the Mill happens. sent15: if the propulsion occurs that the abusing pregnanediol happens is correct. sent16: the alignment and the hopping granny occurs. sent17: if the Rush does not occur the fact that the Order occurs is not incorrect. sent18: if the artfulness does not occur the abusing Herr happens. sent19: the kneeling is caused by the Mill.
void -> assump1: Let's assume that the Mill does not occur.; sent10 & assump1 -> int1: the kneeling happens.; sent3 -> int2: the self-assertion occurs.; int1 & int2 -> int3: the kneel occurs and the self-assertion occurs.; [assump1] & int3 -> hypothesis;
the abusing stamen occurs.
sent15 & sent12 -> int4: the abusing pregnanediol occurs.; sent11 & int4 -> int5: the substantive does not occur.; sent6 & int5 -> int6: the sentence occurs and the abusing drain does not occur.; int6 -> int7: the abusing drain does not occur.; sent2 & int7 -> int8: both the burying Portsmouth and the stewing occurs.; int8 -> int9: the burying Portsmouth occurs.;
$hypothesis$ = the kneel and the self-assertion occurs if the Mill does not occur. ; $context$ = sent1: the nonconductiveness and the Lamarckian happens. sent2: if the abusing drain does not occur then the burying Portsmouth occurs and the stew happens. sent3: the self-assertion and the burying Portsmouth happens. sent4: the obviation and the analogueness occurs. sent5: the ladling esker and the sweat happens if the Rush does not occur. sent6: the sentencing but not the abusing drain happens if that the substantiveness does not occur hold. sent7: both the burying ibex and the abusing sociable happens. sent8: the winning happens and the nontechnicalness happens. sent9: both the dismount and the abusing twenty-three occurs. sent10: if the Mill does not occur the kneel happens. sent11: if the abusing pregnanediol occurs that the substantiveness does not occur is not false. sent12: the propulsion happens. sent13: the burying Portsmouth happens. sent14: that the kneel occurs and the self-assertion happens is caused by that the Mill happens. sent15: if the propulsion occurs that the abusing pregnanediol happens is correct. sent16: the alignment and the hopping granny occurs. sent17: if the Rush does not occur the fact that the Order occurs is not incorrect. sent18: if the artfulness does not occur the abusing Herr happens. sent19: the kneeling is caused by the Mill. ; $proof$ = 
void -> assump1: Let's assume that the Mill does not occur.; sent10 & assump1 -> int1: the kneeling happens.; sent3 -> int2: the self-assertion occurs.; int1 & int2 -> int3: the kneel occurs and the self-assertion occurs.; [assump1] & int3 -> hypothesis; __PROVED__