the azoticness is caused by that the vacationing happens.
sent1: the leverage and/or the instruction occurs. sent2: the fact that the recurrence occurs is true if the vacationing happens. sent3: if the mastering linnet occurs and/or the arthrography does not occur the skinlessness happens. sent4: if that the chew happens is right then the skinlessness happens. sent5: the mindfulness happens. sent6: the replication happens and/or the agnosticness does not occur. sent7: the demoting tart occurs. sent8: the algolagnicness occurs. sent9: if the recurrence occurs either the leverage occurs or the instruction does not occur or both. sent10: if the mastering linnet happens the rocketing happens. sent11: the braggadocio occurs. sent12: either that the demoting novation occurs or that the parts does not occur or both is brought about by that the mastering polymerase occurs. sent13: if either the leveraging happens or the instruction does not occur or both the azoticness happens. sent14: the bradding tryst happens if the mastering polymerase happens.
void -> assump1: Let's assume that the vacationing occurs.; sent2 & assump1 -> int1: the recurrence occurs.; sent9 & int1 -> int2: either the leveraging happens or the instruction does not occur or both.; sent13 & int2 -> int3: the azoticness occurs.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the azoticness is caused by that the vacationing happens. ; $context$ = sent1: the leverage and/or the instruction occurs. sent2: the fact that the recurrence occurs is true if the vacationing happens. sent3: if the mastering linnet occurs and/or the arthrography does not occur the skinlessness happens. sent4: if that the chew happens is right then the skinlessness happens. sent5: the mindfulness happens. sent6: the replication happens and/or the agnosticness does not occur. sent7: the demoting tart occurs. sent8: the algolagnicness occurs. sent9: if the recurrence occurs either the leverage occurs or the instruction does not occur or both. sent10: if the mastering linnet happens the rocketing happens. sent11: the braggadocio occurs. sent12: either that the demoting novation occurs or that the parts does not occur or both is brought about by that the mastering polymerase occurs. sent13: if either the leveraging happens or the instruction does not occur or both the azoticness happens. sent14: the bradding tryst happens if the mastering polymerase happens. ; $proof$ = 
void -> assump1: Let's assume that the vacationing occurs.; sent2 & assump1 -> int1: the recurrence occurs.; sent9 & int1 -> int2: either the leveraging happens or the instruction does not occur or both.; sent13 & int2 -> int3: the azoticness occurs.; [assump1] & int3 -> hypothesis; __PROVED__