the scandalization does not occur.
sent1: if the remarriage happens the scandalization occurs. sent2: the reflux occurs. sent3: if the reflux happens the Laputanness occurs. sent4: the aggression does not occur. sent5: if the syllogizing hassium does not occur then the unacceptableness and the Confucian happens. sent6: the fact that that the measuring monkey does not occur is correct if the unacceptableness and the non-Confucianness occurs is not false. sent7: that the measuring slicing does not occur and the reseating occurs is brought about by the extrapolating. sent8: the scud happens. sent9: the homocercalness does not occur if the measuring slicing happens. sent10: the Draconianness and the measuring LP happens. sent11: the remarriage happens or the consideration does not occur or both if the Laputanness does not occur. sent12: that the measuring monkey does not occur is prevented by that the syllogizing Synchytrium happens. sent13: that the measuring monkey occurs and the unacceptableness happens results in that the scandalization does not occur. sent14: the syllogizing hassium does not occur. sent15: the annunciatoriness happens. sent16: that the syllogizing Synchytrium does not occur is prevented by that the Laputanness but not the remarriage occurs. sent17: the extrapolating happens. sent18: the syllogizing hassium happens and the reflux occurs if the homocercalness does not occur. sent19: if the fact that the Confucian does not occur and/or the unacceptableness occurs is false then the measuring monkey does not occur. sent20: the imperceptibleness does not occur. sent21: if the consideration happens the scandalization occurs. sent22: the opening does not occur. sent23: the consideration does not occur. sent24: the kick does not occur. sent25: the consideration does not occur and the remarriage does not occur.
sent25 -> int1: the remarriage does not occur.; sent3 & sent2 -> int2: the Laputanness happens.; int1 & int2 -> int3: the Laputanness but not the remarriage occurs.; int3 & sent16 -> int4: the syllogizing Synchytrium occurs.; int4 & sent12 -> int5: the measuring monkey occurs.; sent5 & sent14 -> int6: the unacceptableness occurs and the Confucianness occurs.; int6 -> int7: that the unacceptableness happens is correct.; int5 & int7 -> int8: the measuring monkey occurs and the unacceptableness happens.; int8 & sent13 -> hypothesis;
the scandalization occurs.
$hypothesis$ = the scandalization does not occur. ; $context$ = sent1: if the remarriage happens the scandalization occurs. sent2: the reflux occurs. sent3: if the reflux happens the Laputanness occurs. sent4: the aggression does not occur. sent5: if the syllogizing hassium does not occur then the unacceptableness and the Confucian happens. sent6: the fact that that the measuring monkey does not occur is correct if the unacceptableness and the non-Confucianness occurs is not false. sent7: that the measuring slicing does not occur and the reseating occurs is brought about by the extrapolating. sent8: the scud happens. sent9: the homocercalness does not occur if the measuring slicing happens. sent10: the Draconianness and the measuring LP happens. sent11: the remarriage happens or the consideration does not occur or both if the Laputanness does not occur. sent12: that the measuring monkey does not occur is prevented by that the syllogizing Synchytrium happens. sent13: that the measuring monkey occurs and the unacceptableness happens results in that the scandalization does not occur. sent14: the syllogizing hassium does not occur. sent15: the annunciatoriness happens. sent16: that the syllogizing Synchytrium does not occur is prevented by that the Laputanness but not the remarriage occurs. sent17: the extrapolating happens. sent18: the syllogizing hassium happens and the reflux occurs if the homocercalness does not occur. sent19: if the fact that the Confucian does not occur and/or the unacceptableness occurs is false then the measuring monkey does not occur. sent20: the imperceptibleness does not occur. sent21: if the consideration happens the scandalization occurs. sent22: the opening does not occur. sent23: the consideration does not occur. sent24: the kick does not occur. sent25: the consideration does not occur and the remarriage does not occur. ; $proof$ = 
sent25 -> int1: the remarriage does not occur.; sent3 & sent2 -> int2: the Laputanness happens.; int1 & int2 -> int3: the Laputanness but not the remarriage occurs.; int3 & sent16 -> int4: the syllogizing Synchytrium occurs.; int4 & sent12 -> int5: the measuring monkey occurs.; sent5 & sent14 -> int6: the unacceptableness occurs and the Confucianness occurs.; int6 -> int7: that the unacceptableness happens is correct.; int5 & int7 -> int8: the measuring monkey occurs and the unacceptableness happens.; int8 & sent13 -> hypothesis; __PROVED__