the ingraining does not occur.
sent1: if both the tonometry and the roughleg occurs the ingraining does not occur. sent2: the alikeness happens if that the subtilizing does not occur and the drip occurs is wrong. sent3: the roughing does not occur if that the unsuccessfulness does not occur and the lordolatry does not occur does not hold. sent4: if that the longness and the lordolatry happens is not correct the lordolatry does not occur. sent5: if the roughing does not occur then the fact that that the tonometry does not occur but the drip happens does not hold is not incorrect. sent6: that the reunifying hatchel occurs is prevented by that the non-longness and the docking happens. sent7: the dripping happens and the subtilizing happens. sent8: the subtilizing happens. sent9: the reunifying hatchel happens. sent10: if the reunifying trapezium occurs that the atavism occurs and the recourse does not occur is not right. sent11: the fact that that both the unsuccessfulness and the lordolatry occurs does not hold is not false if the reunifying hatchel occurs. sent12: the lordolatry prevents that the roughing does not occur. sent13: the fact that the unsuccessfulness and the lordolatry happens does not hold. sent14: the roughleg happens if that the unsuccessfulness happens and the lordolatry does not occur is false. sent15: if the drip does not occur that the subtilizing does not occur and the ingraining does not occur is not right. sent16: if the exasperation does not occur then the non-longness and the docking occurs. sent17: the fact that both the longness and the lordolatry occurs is false if the reunifying hatchel does not occur. sent18: the fact that not the subtilizing but the drip occurs is not correct if the tonometry does not occur. sent19: if the reunifying hatchel does not occur then that the unsuccessfulness does not occur and the lordolatry does not occur does not hold. sent20: if the dripping occurs the tonometry happens.
sent7 -> int1: that the drip happens hold.; int1 & sent20 -> int2: the tonometry occurs.;
the ingraining occurs.
$hypothesis$ = the ingraining does not occur. ; $context$ = sent1: if both the tonometry and the roughleg occurs the ingraining does not occur. sent2: the alikeness happens if that the subtilizing does not occur and the drip occurs is wrong. sent3: the roughing does not occur if that the unsuccessfulness does not occur and the lordolatry does not occur does not hold. sent4: if that the longness and the lordolatry happens is not correct the lordolatry does not occur. sent5: if the roughing does not occur then the fact that that the tonometry does not occur but the drip happens does not hold is not incorrect. sent6: that the reunifying hatchel occurs is prevented by that the non-longness and the docking happens. sent7: the dripping happens and the subtilizing happens. sent8: the subtilizing happens. sent9: the reunifying hatchel happens. sent10: if the reunifying trapezium occurs that the atavism occurs and the recourse does not occur is not right. sent11: the fact that that both the unsuccessfulness and the lordolatry occurs does not hold is not false if the reunifying hatchel occurs. sent12: the lordolatry prevents that the roughing does not occur. sent13: the fact that the unsuccessfulness and the lordolatry happens does not hold. sent14: the roughleg happens if that the unsuccessfulness happens and the lordolatry does not occur is false. sent15: if the drip does not occur that the subtilizing does not occur and the ingraining does not occur is not right. sent16: if the exasperation does not occur then the non-longness and the docking occurs. sent17: the fact that both the longness and the lordolatry occurs is false if the reunifying hatchel does not occur. sent18: the fact that not the subtilizing but the drip occurs is not correct if the tonometry does not occur. sent19: if the reunifying hatchel does not occur then that the unsuccessfulness does not occur and the lordolatry does not occur does not hold. sent20: if the dripping occurs the tonometry happens. ; $proof$ = 
sent7 -> int1: that the drip happens hold.; int1 & sent20 -> int2: the tonometry occurs.; __UNKNOWN__