the principalship occurs and the regulation happens.
sent1: the minstreling menthol does not occur and the suborbitalness does not occur. sent2: that the colloguing lycopene occurs and/or that the bicameralness occurs yields that the rendition does not occur. sent3: that both the colloguing didacticism and the fluctuation happens is triggered by that the regulation does not occur. sent4: if the minstreling menthol does not occur the citricness and/or the idealizing happens. sent5: if the colloguing didacticism occurs then the bicameralness happens. sent6: the citricness happens. sent7: the principalship and the stickling gain happens. sent8: the rendition and the citricness occurs. sent9: if that the regulation does not occur hold then the fluctuation occurs. sent10: if the colloguing lycopene does not occur that the bicameralness occurs is not correct.
void -> assump1: Let's assume that the regulation does not occur.; sent3 & assump1 -> int1: both the colloguing didacticism and the fluctuation occurs.; int1 -> int2: that the colloguing didacticism happens hold.; int2 & sent5 -> int3: the bicameralness happens.; int3 -> int4: either the colloguing lycopene happens or the bicameralness happens or both.; int4 & sent2 -> int5: the rendition does not occur.; sent8 -> int6: the rendition happens.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the regulation occurs.; sent7 -> int9: the principalship occurs.; int8 & int9 -> hypothesis;
the stickling startup does not occur.
sent1 -> int10: the minstreling menthol does not occur.; sent4 & int10 -> int11: the citricness happens or the idealizing happens or both.;
$hypothesis$ = the principalship occurs and the regulation happens. ; $context$ = sent1: the minstreling menthol does not occur and the suborbitalness does not occur. sent2: that the colloguing lycopene occurs and/or that the bicameralness occurs yields that the rendition does not occur. sent3: that both the colloguing didacticism and the fluctuation happens is triggered by that the regulation does not occur. sent4: if the minstreling menthol does not occur the citricness and/or the idealizing happens. sent5: if the colloguing didacticism occurs then the bicameralness happens. sent6: the citricness happens. sent7: the principalship and the stickling gain happens. sent8: the rendition and the citricness occurs. sent9: if that the regulation does not occur hold then the fluctuation occurs. sent10: if the colloguing lycopene does not occur that the bicameralness occurs is not correct. ; $proof$ = 
void -> assump1: Let's assume that the regulation does not occur.; sent3 & assump1 -> int1: both the colloguing didacticism and the fluctuation occurs.; int1 -> int2: that the colloguing didacticism happens hold.; int2 & sent5 -> int3: the bicameralness happens.; int3 -> int4: either the colloguing lycopene happens or the bicameralness happens or both.; int4 & sent2 -> int5: the rendition does not occur.; sent8 -> int6: the rendition happens.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the regulation occurs.; sent7 -> int9: the principalship occurs.; int8 & int9 -> hypothesis; __PROVED__