that the genuflection does not occur hold.
sent1: if the pietisticness occurs then the agriculturalness happens. sent2: that the mambo does not occur triggers that the quintessentialness happens but the operations does not occur. sent3: the protrusiveness occurs. sent4: the genuflection does not occur if the agriculturalness and the unmanlyness happens. sent5: the revenantness does not occur. sent6: if both the mimicry and the non-acarpelousness occurs that the ichthyolatry occurs is not false. sent7: the noshing does not occur. sent8: the mamboing does not occur. sent9: the mid-on occurs. sent10: the untuning Nox does not occur. sent11: the pietisticness happens if the quintessentialness but not the operations occurs. sent12: the outingness happens. sent13: that both the protrusiveness and the manliness happens prevents the chaetalness. sent14: that the untuning Nox does not occur results in that the chaetalness occurs and the debarring culdoscopy happens. sent15: the fact that the Gallicanness does not occur hold. sent16: that the Jacobean occurs is right.
void -> assump1: Let's assume that the manliness happens.; sent3 & assump1 -> int1: the protrusiveness occurs and the manliness occurs.; int1 & sent13 -> int2: the chaetalness does not occur.; sent14 & sent10 -> int3: both the chaetalness and the debarring culdoscopy occurs.; int3 -> int4: the chaetalness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the manliness does not occur.; sent2 & sent8 -> int7: the quintessentialness happens but the operations does not occur.; sent11 & int7 -> int8: the pietisticness occurs.; sent1 & int8 -> int9: that the agriculturalness occurs is correct.; int6 & int9 -> int10: the agriculturalness and the non-manliness occurs.; int10 & sent4 -> hypothesis;
$hypothesis$ = that the genuflection does not occur hold. ; $context$ = sent1: if the pietisticness occurs then the agriculturalness happens. sent2: that the mambo does not occur triggers that the quintessentialness happens but the operations does not occur. sent3: the protrusiveness occurs. sent4: the genuflection does not occur if the agriculturalness and the unmanlyness happens. sent5: the revenantness does not occur. sent6: if both the mimicry and the non-acarpelousness occurs that the ichthyolatry occurs is not false. sent7: the noshing does not occur. sent8: the mamboing does not occur. sent9: the mid-on occurs. sent10: the untuning Nox does not occur. sent11: the pietisticness happens if the quintessentialness but not the operations occurs. sent12: the outingness happens. sent13: that both the protrusiveness and the manliness happens prevents the chaetalness. sent14: that the untuning Nox does not occur results in that the chaetalness occurs and the debarring culdoscopy happens. sent15: the fact that the Gallicanness does not occur hold. sent16: that the Jacobean occurs is right. ; $proof$ = 
void -> assump1: Let's assume that the manliness happens.; sent3 & assump1 -> int1: the protrusiveness occurs and the manliness occurs.; int1 & sent13 -> int2: the chaetalness does not occur.; sent14 & sent10 -> int3: both the chaetalness and the debarring culdoscopy occurs.; int3 -> int4: the chaetalness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the manliness does not occur.; sent2 & sent8 -> int7: the quintessentialness happens but the operations does not occur.; sent11 & int7 -> int8: the pietisticness occurs.; sent1 & int8 -> int9: that the agriculturalness occurs is correct.; int6 & int9 -> int10: the agriculturalness and the non-manliness occurs.; int10 & sent4 -> hypothesis; __PROVED__