the fact that the retraction does not occur hold.
sent1: if that the nonvolatileness does not occur is not incorrect then the wardership occurs but the weathering does not occur. sent2: that both the wardership and the canonization happens is not true if the discipleship does not occur. sent3: the prefixation does not occur if the unclothing occurs and the squawking arduousness occurs. sent4: the capitulation happens but the squawking diverticulum does not occur. sent5: if the prefixation does not occur the fact that the aping Phasmidae happens and the elongation occurs is incorrect. sent6: that the narcotic occurs and the riptide occurs is triggered by that the canonization does not occur. sent7: the retraction does not occur if the ramble but not the coveting Redskin happens. sent8: the pauperization occurs and/or the Andeanness occurs if the squawking Mergus does not occur. sent9: if that the riptide occurs is true the rambling occurs and the coveting Redskin does not occur. sent10: that that the coveting Redskin but not the riptide occurs is not incorrect is triggered by that the ramble does not occur. sent11: if the coveting Redskin happens the retraction happens. sent12: that the squawking Mergus occurs is prevented by that the capitulation happens but the squawking diverticulum does not occur. sent13: the canonization does not occur if that the wardership happens and the canonization happens is not true. sent14: the locomotive happens and/or the squawking dosimetry does not occur. sent15: the cardiopulmonariness happens if the combat occurs. sent16: the sputter happens. sent17: either the androgeneticness occurs or the coveting dracaena does not occur or both. sent18: the supportiveness does not occur. sent19: if that the aping Phasmidae and the elongation happens is not correct the discipleship does not occur. sent20: the ramble does not occur if the androgeneticness occurs and/or the coveting dracaena does not occur.
sent20 & sent17 -> int1: the rambling does not occur.; sent10 & int1 -> int2: the coveting Redskin but not the riptide occurs.; int2 -> int3: the coveting Redskin occurs.; sent11 & int3 -> hypothesis;
that the retraction occurs is not true.
sent12 & sent4 -> int4: the squawking Mergus does not occur.; sent8 & int4 -> int5: the pauperization occurs and/or the Andeanness occurs.;
$hypothesis$ = the fact that the retraction does not occur hold. ; $context$ = sent1: if that the nonvolatileness does not occur is not incorrect then the wardership occurs but the weathering does not occur. sent2: that both the wardership and the canonization happens is not true if the discipleship does not occur. sent3: the prefixation does not occur if the unclothing occurs and the squawking arduousness occurs. sent4: the capitulation happens but the squawking diverticulum does not occur. sent5: if the prefixation does not occur the fact that the aping Phasmidae happens and the elongation occurs is incorrect. sent6: that the narcotic occurs and the riptide occurs is triggered by that the canonization does not occur. sent7: the retraction does not occur if the ramble but not the coveting Redskin happens. sent8: the pauperization occurs and/or the Andeanness occurs if the squawking Mergus does not occur. sent9: if that the riptide occurs is true the rambling occurs and the coveting Redskin does not occur. sent10: that that the coveting Redskin but not the riptide occurs is not incorrect is triggered by that the ramble does not occur. sent11: if the coveting Redskin happens the retraction happens. sent12: that the squawking Mergus occurs is prevented by that the capitulation happens but the squawking diverticulum does not occur. sent13: the canonization does not occur if that the wardership happens and the canonization happens is not true. sent14: the locomotive happens and/or the squawking dosimetry does not occur. sent15: the cardiopulmonariness happens if the combat occurs. sent16: the sputter happens. sent17: either the androgeneticness occurs or the coveting dracaena does not occur or both. sent18: the supportiveness does not occur. sent19: if that the aping Phasmidae and the elongation happens is not correct the discipleship does not occur. sent20: the ramble does not occur if the androgeneticness occurs and/or the coveting dracaena does not occur. ; $proof$ = 
sent20 & sent17 -> int1: the rambling does not occur.; sent10 & int1 -> int2: the coveting Redskin but not the riptide occurs.; int2 -> int3: the coveting Redskin occurs.; sent11 & int3 -> hypothesis; __DISPROVED__