that the statuariness does not occur causes that the remonstrating dock and the adjournment occurs.
sent1: if the appropriation happens then the adroitness and the Ptolemaicness occurs. sent2: the measuring Cameroonian occurs. sent3: the measuring breast and the segue happens. sent4: the alopecicness happens. sent5: that the latitudinalness occurs and/or that the crabbing happens is brought about by that the pullback does not occur. sent6: that the statuary occurs yields that the procrastination happens. sent7: the remonstrating aerophile happens. sent8: the remonstrating dock happens if the procrastination occurs. sent9: the procrastination happens if the statuariness does not occur. sent10: the standing does not occur. sent11: if the acyclicness happens then the consolation occurs. sent12: the adulteration and the lineman happens if the tall does not occur. sent13: if the accomplishing does not occur then the conveying occurs. sent14: if that the standing does not occur is not incorrect either the remonstrating pyrochemistry occurs or the remonstrating impracticability occurs or both. sent15: the remonstrating pyrochemistry leads to the adjournment. sent16: the adjournment occurs if the remonstrating impracticability happens.
void -> assump1: Let's assume that the statuariness does not occur.; sent9 & assump1 -> int1: that the procrastination happens hold.; int1 & sent8 -> int2: the remonstrating dock happens.; sent14 & sent10 -> int3: the remonstrating pyrochemistry happens or the remonstrating impracticability happens or both.; int3 & sent15 & sent16 -> int4: the adjournment occurs.; int2 & int4 -> int5: the remonstrating dock happens and the adjournment occurs.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the statuariness does not occur causes that the remonstrating dock and the adjournment occurs. ; $context$ = sent1: if the appropriation happens then the adroitness and the Ptolemaicness occurs. sent2: the measuring Cameroonian occurs. sent3: the measuring breast and the segue happens. sent4: the alopecicness happens. sent5: that the latitudinalness occurs and/or that the crabbing happens is brought about by that the pullback does not occur. sent6: that the statuary occurs yields that the procrastination happens. sent7: the remonstrating aerophile happens. sent8: the remonstrating dock happens if the procrastination occurs. sent9: the procrastination happens if the statuariness does not occur. sent10: the standing does not occur. sent11: if the acyclicness happens then the consolation occurs. sent12: the adulteration and the lineman happens if the tall does not occur. sent13: if the accomplishing does not occur then the conveying occurs. sent14: if that the standing does not occur is not incorrect either the remonstrating pyrochemistry occurs or the remonstrating impracticability occurs or both. sent15: the remonstrating pyrochemistry leads to the adjournment. sent16: the adjournment occurs if the remonstrating impracticability happens. ; $proof$ = 
void -> assump1: Let's assume that the statuariness does not occur.; sent9 & assump1 -> int1: that the procrastination happens hold.; int1 & sent8 -> int2: the remonstrating dock happens.; sent14 & sent10 -> int3: the remonstrating pyrochemistry happens or the remonstrating impracticability happens or both.; int3 & sent15 & sent16 -> int4: the adjournment occurs.; int2 & int4 -> int5: the remonstrating dock happens and the adjournment occurs.; [assump1] & int5 -> hypothesis; __PROVED__