the inverseness is triggered by the zing.
sent1: if the archducalness does not occur then the implosion or the directness or both occurs. sent2: that the decrease does not occur brings about that the zing happens but the blotting does not occur. sent3: that that the archducalness happens and the ultrasound occurs does not hold is true if the univalentness does not occur. sent4: the non-compositeness causes that both the cytoarchitecturalness and the masochisticness occurs. sent5: either the blotting occurs or the decrease happens or both. sent6: if the boldness does not occur then both the debriefing Vulcan and the geomorphologicness happens. sent7: if the zing happens then the blot occurs. sent8: that the indecisiveness occurs is brought about by that the zing occurs and the blotting does not occur. sent9: that either the blot happens or the decreasing does not occur or both prevents the directness. sent10: the Guinean occurs. sent11: if the decreasing does not occur the inverseness happens. sent12: both the non-univalentness and the nonpartisanness occurs if the cytoarchitecturalness occurs. sent13: that the debriefing Vulcan happens causes that the non-compositeness and the ageism happens. sent14: if the fact that both the archducalness and the ultrasound occurs is incorrect the archducalness does not occur.
void -> assump1: Let's assume that the zing happens.; sent7 & assump1 -> int1: the blot occurs.; int1 -> int2: either the blot occurs or the decreasing does not occur or both.; int2 & sent9 -> int3: the inverseness happens.; [assump1] & int3 -> hypothesis;
the indecisiveness occurs.
$hypothesis$ = the inverseness is triggered by the zing. ; $context$ = sent1: if the archducalness does not occur then the implosion or the directness or both occurs. sent2: that the decrease does not occur brings about that the zing happens but the blotting does not occur. sent3: that that the archducalness happens and the ultrasound occurs does not hold is true if the univalentness does not occur. sent4: the non-compositeness causes that both the cytoarchitecturalness and the masochisticness occurs. sent5: either the blotting occurs or the decrease happens or both. sent6: if the boldness does not occur then both the debriefing Vulcan and the geomorphologicness happens. sent7: if the zing happens then the blot occurs. sent8: that the indecisiveness occurs is brought about by that the zing occurs and the blotting does not occur. sent9: that either the blot happens or the decreasing does not occur or both prevents the directness. sent10: the Guinean occurs. sent11: if the decreasing does not occur the inverseness happens. sent12: both the non-univalentness and the nonpartisanness occurs if the cytoarchitecturalness occurs. sent13: that the debriefing Vulcan happens causes that the non-compositeness and the ageism happens. sent14: if the fact that both the archducalness and the ultrasound occurs is incorrect the archducalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the zing happens.; sent7 & assump1 -> int1: the blot occurs.; int1 -> int2: either the blot occurs or the decreasing does not occur or both.; int2 & sent9 -> int3: the inverseness happens.; [assump1] & int3 -> hypothesis; __PROVED__