the dissimilating allies does not occur.
sent1: the frittering maggot occurs. sent2: the restoring sunfish happens. sent3: the fact that that the hedging autophyte happens is prevented by that the restoring sunfish occurs and the animalization happens is not wrong. sent4: the hedging identification occurs. sent5: if both the Dickensianness and the cogitativeness occurs the undynamicness does not occur. sent6: the hedging Mbundu does not occur if both the shrinkage and the yellowing occurs. sent7: that the hedging orpiment does not occur triggers that both the dissimilating Komi and the animalization happens. sent8: the ricochet and the hysterectomy occurs. sent9: the specification does not occur if the fact that the drag does not occur and the frittering veal happens is false. sent10: if the hedging autophyte does not occur the favor does not occur and the eyes does not occur. sent11: if both the hedging orgasm and the ecarte occurs the hedging adiposity does not occur. sent12: the carelessness and the hedging locker occurs if that the favor does not occur is true. sent13: if the frittering maggot occurs and the specification happens then the dissimilating allies does not occur. sent14: both the indehiscentness and the restoring sunfish occurs. sent15: both the frittering maggot and the dissimilating allies occurs if the specification does not occur. sent16: the aphakicness occurs. sent17: if the polemoniaceousness happens but the permitting does not occur then the burrlikeness does not occur. sent18: if the burrlikeness does not occur then the fact that the fact that not the drag but the frittering veal happens is true is wrong. sent19: the polemoniaceousness but not the permitting occurs if the carelessness occurs. sent20: the specification occurs.
sent1 & sent20 -> int1: both the frittering maggot and the specification happens.; sent13 & int1 -> hypothesis;
the dissimilating allies happens.
sent14 -> int2: the restoring sunfish happens.;
$hypothesis$ = the dissimilating allies does not occur. ; $context$ = sent1: the frittering maggot occurs. sent2: the restoring sunfish happens. sent3: the fact that that the hedging autophyte happens is prevented by that the restoring sunfish occurs and the animalization happens is not wrong. sent4: the hedging identification occurs. sent5: if both the Dickensianness and the cogitativeness occurs the undynamicness does not occur. sent6: the hedging Mbundu does not occur if both the shrinkage and the yellowing occurs. sent7: that the hedging orpiment does not occur triggers that both the dissimilating Komi and the animalization happens. sent8: the ricochet and the hysterectomy occurs. sent9: the specification does not occur if the fact that the drag does not occur and the frittering veal happens is false. sent10: if the hedging autophyte does not occur the favor does not occur and the eyes does not occur. sent11: if both the hedging orgasm and the ecarte occurs the hedging adiposity does not occur. sent12: the carelessness and the hedging locker occurs if that the favor does not occur is true. sent13: if the frittering maggot occurs and the specification happens then the dissimilating allies does not occur. sent14: both the indehiscentness and the restoring sunfish occurs. sent15: both the frittering maggot and the dissimilating allies occurs if the specification does not occur. sent16: the aphakicness occurs. sent17: if the polemoniaceousness happens but the permitting does not occur then the burrlikeness does not occur. sent18: if the burrlikeness does not occur then the fact that the fact that not the drag but the frittering veal happens is true is wrong. sent19: the polemoniaceousness but not the permitting occurs if the carelessness occurs. sent20: the specification occurs. ; $proof$ = 
sent1 & sent20 -> int1: both the frittering maggot and the specification happens.; sent13 & int1 -> hypothesis; __PROVED__