that the seven-up occurs is triggered by the hook.
sent1: if the gurgle occurs the seven-up occurs. sent2: if the interlocking gynophore happens the fact that the channelization occurs is not false. sent3: if the paternalness occurs the lull does not occur and the compensation occurs. sent4: the non-attentionalness and the protection occurs if the orgy occurs. sent5: that not the bishopry but the gurgle happens is brought about by the hooking. sent6: not the jumbling causeway but the unargumentativeness occurs. sent7: if the lavage happens the fact that the divergentness occurs is correct. sent8: the difference does not occur but the secondary happens. sent9: the agriculturalness happens. sent10: the direction does not occur and the soteriologicalness occurs. sent11: the acentricness happens. sent12: that not the aneroidness but the sericulturalness happens is caused by that the personifying hassle occurs. sent13: that the bishopry does not occur hold. sent14: that the interlocking gynophore happens is triggered by that the personifying still occurs. sent15: the bishopry does not occur if the hook happens. sent16: if the personifying Hylobatidae occurs then the non-weightlessness and the impatientness occurs. sent17: the fling happens if the repechage occurs. sent18: the interlocking occlusion happens if the uninjectableness happens. sent19: if the dismount happens then not the civilness but the impatientness occurs.
void -> assump1: Let's assume that the hooking occurs.; sent5 & assump1 -> int1: not the bishopry but the gurgling occurs.; int1 -> int2: the gurgling happens.; sent1 & int2 -> int3: the seven-up occurs.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the seven-up occurs is triggered by the hook. ; $context$ = sent1: if the gurgle occurs the seven-up occurs. sent2: if the interlocking gynophore happens the fact that the channelization occurs is not false. sent3: if the paternalness occurs the lull does not occur and the compensation occurs. sent4: the non-attentionalness and the protection occurs if the orgy occurs. sent5: that not the bishopry but the gurgle happens is brought about by the hooking. sent6: not the jumbling causeway but the unargumentativeness occurs. sent7: if the lavage happens the fact that the divergentness occurs is correct. sent8: the difference does not occur but the secondary happens. sent9: the agriculturalness happens. sent10: the direction does not occur and the soteriologicalness occurs. sent11: the acentricness happens. sent12: that not the aneroidness but the sericulturalness happens is caused by that the personifying hassle occurs. sent13: that the bishopry does not occur hold. sent14: that the interlocking gynophore happens is triggered by that the personifying still occurs. sent15: the bishopry does not occur if the hook happens. sent16: if the personifying Hylobatidae occurs then the non-weightlessness and the impatientness occurs. sent17: the fling happens if the repechage occurs. sent18: the interlocking occlusion happens if the uninjectableness happens. sent19: if the dismount happens then not the civilness but the impatientness occurs. ; $proof$ = 
void -> assump1: Let's assume that the hooking occurs.; sent5 & assump1 -> int1: not the bishopry but the gurgling occurs.; int1 -> int2: the gurgling happens.; sent1 & int2 -> int3: the seven-up occurs.; [assump1] & int3 -> hypothesis; __PROVED__