if the contribution happens the peroration happens.
sent1: the spooking occurs. sent2: the coordinating Parker does not occur. sent3: the harshening catchphrase does not occur. sent4: that the coordinating orthography does not occur and the excitableness does not occur does not hold if the suppling does not occur. sent5: the agonisticness does not occur if the fact that both the non-ohmicness and the non-hand-heldness occurs is true. sent6: the serenading deciliter occurs if that the coordinating orthography does not occur and the excitableness does not occur is false. sent7: the harshening buddy does not occur. sent8: the coordinating uranoplasty does not occur. sent9: the comptrollership does not occur. sent10: the fact that that the comptrollership does not occur hold if the blend occurs and/or the coordinating Parker does not occur is true. sent11: if that the hand-heldness does not occur and the peroration does not occur does not hold the hand-heldness occurs. sent12: if the aplacentalness occurs and the archducalness happens then the serenading hydrocarbon does not occur. sent13: the ohmicness is prevented by that the contribution and the spooking occurs. sent14: the agonisticness occurs if the serenading deciliter occurs. sent15: the canvassing does not occur. sent16: the decorating occurs. sent17: the succinicness happens. sent18: the epitaxy occurs if the compassionateness occurs. sent19: the compassionateness occurs if the fact that not the ohmicness but the spooking happens does not hold. sent20: the archducalness does not occur. sent21: the hand-heldness does not occur and the comptrollership does not occur. sent22: if the agonisticness does not occur then the peroration happens. sent23: the phrenicness occurs. sent24: the coordinating subduer happens.
void -> assump1: Let's assume that the fact that the contribution occurs hold.; assump1 & sent1 -> int1: the contribution and the spooking occurs.; int1 & sent13 -> int2: the ohmicness does not occur.; sent21 -> int3: the hand-heldness does not occur.; int2 & int3 -> int4: the ohmicness does not occur and the hand-heldness does not occur.; int4 & sent5 -> int5: the agonisticness does not occur.; int5 & sent22 -> int6: that the peroration happens is true.; [assump1] & int6 -> hypothesis;
the compassionateness and the decorating occurs.
sent2 -> int7: either the blend happens or the coordinating Parker does not occur or both.; sent10 & int7 -> int8: the comptrollership does not occur.;
$hypothesis$ = if the contribution happens the peroration happens. ; $context$ = sent1: the spooking occurs. sent2: the coordinating Parker does not occur. sent3: the harshening catchphrase does not occur. sent4: that the coordinating orthography does not occur and the excitableness does not occur does not hold if the suppling does not occur. sent5: the agonisticness does not occur if the fact that both the non-ohmicness and the non-hand-heldness occurs is true. sent6: the serenading deciliter occurs if that the coordinating orthography does not occur and the excitableness does not occur is false. sent7: the harshening buddy does not occur. sent8: the coordinating uranoplasty does not occur. sent9: the comptrollership does not occur. sent10: the fact that that the comptrollership does not occur hold if the blend occurs and/or the coordinating Parker does not occur is true. sent11: if that the hand-heldness does not occur and the peroration does not occur does not hold the hand-heldness occurs. sent12: if the aplacentalness occurs and the archducalness happens then the serenading hydrocarbon does not occur. sent13: the ohmicness is prevented by that the contribution and the spooking occurs. sent14: the agonisticness occurs if the serenading deciliter occurs. sent15: the canvassing does not occur. sent16: the decorating occurs. sent17: the succinicness happens. sent18: the epitaxy occurs if the compassionateness occurs. sent19: the compassionateness occurs if the fact that not the ohmicness but the spooking happens does not hold. sent20: the archducalness does not occur. sent21: the hand-heldness does not occur and the comptrollership does not occur. sent22: if the agonisticness does not occur then the peroration happens. sent23: the phrenicness occurs. sent24: the coordinating subduer happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the contribution occurs hold.; assump1 & sent1 -> int1: the contribution and the spooking occurs.; int1 & sent13 -> int2: the ohmicness does not occur.; sent21 -> int3: the hand-heldness does not occur.; int2 & int3 -> int4: the ohmicness does not occur and the hand-heldness does not occur.; int4 & sent5 -> int5: the agonisticness does not occur.; int5 & sent22 -> int6: that the peroration happens is true.; [assump1] & int6 -> hypothesis; __PROVED__