the queen does not occur and the shrinkage does not occur if the lagging vampire does not occur.
sent1: the blaspheming gridiron does not occur. sent2: that both the intercommunication and the impossible happens is not right. sent3: that the septalness does not occur hold if the fact that both the burrlikeness and the septalness occurs is wrong. sent4: that the lagging vampire does not occur triggers that the queen does not occur. sent5: if either the departure or the unafraidness or both occurs then the surprising Bellis does not occur. sent6: if that the freight occurs and the quadrature occurs is incorrect then the indication does not occur. sent7: that the freight happens and the quadrature happens is not right if the jihadiness does not occur. sent8: if that the unafraidness occurs is not false the seedlessness does not occur. sent9: the unafraidness but not the intercommunication happens if the indication does not occur. sent10: if the fact that the ineradicableness does not occur but the jihadiness happens is not correct the jihadiness does not occur. sent11: if the lagging crabapple happens then the freight does not occur. sent12: the surprising Skinnerian does not occur if that the surprising wasp occurs and the surprising Skinnerian happens does not hold. sent13: the windage does not occur and the acupuncture does not occur. sent14: if that the lagging vampire does not occur is false then the queen does not occur. sent15: the fact that the indexation and the feature happens does not hold. sent16: that the queening does not occur and the shrinkage does not occur is triggered by the lagging vampire. sent17: that the Antiguan occurs and the shrinkage happens does not hold. sent18: if the fact that the Antiguanness happens and the shrinkage occurs is incorrect the shrinkage does not occur. sent19: that both the Antiguanness and the blaspheming microgliacyte happens is brought about by that the surprising Bellis does not occur. sent20: the lagging vampire yields that the switch does not occur and the bosoming does not occur.
void -> assump1: Let's assume that the lagging vampire does not occur.; sent4 & assump1 -> int1: the queening does not occur.; sent18 & sent17 -> int2: the shrinkage does not occur.; int1 & int2 -> int3: the queening does not occur and the shrinkage does not occur.; [assump1] & int3 -> hypothesis;
the switching does not occur and the bosom does not occur.
$hypothesis$ = the queen does not occur and the shrinkage does not occur if the lagging vampire does not occur. ; $context$ = sent1: the blaspheming gridiron does not occur. sent2: that both the intercommunication and the impossible happens is not right. sent3: that the septalness does not occur hold if the fact that both the burrlikeness and the septalness occurs is wrong. sent4: that the lagging vampire does not occur triggers that the queen does not occur. sent5: if either the departure or the unafraidness or both occurs then the surprising Bellis does not occur. sent6: if that the freight occurs and the quadrature occurs is incorrect then the indication does not occur. sent7: that the freight happens and the quadrature happens is not right if the jihadiness does not occur. sent8: if that the unafraidness occurs is not false the seedlessness does not occur. sent9: the unafraidness but not the intercommunication happens if the indication does not occur. sent10: if the fact that the ineradicableness does not occur but the jihadiness happens is not correct the jihadiness does not occur. sent11: if the lagging crabapple happens then the freight does not occur. sent12: the surprising Skinnerian does not occur if that the surprising wasp occurs and the surprising Skinnerian happens does not hold. sent13: the windage does not occur and the acupuncture does not occur. sent14: if that the lagging vampire does not occur is false then the queen does not occur. sent15: the fact that the indexation and the feature happens does not hold. sent16: that the queening does not occur and the shrinkage does not occur is triggered by the lagging vampire. sent17: that the Antiguan occurs and the shrinkage happens does not hold. sent18: if the fact that the Antiguanness happens and the shrinkage occurs is incorrect the shrinkage does not occur. sent19: that both the Antiguanness and the blaspheming microgliacyte happens is brought about by that the surprising Bellis does not occur. sent20: the lagging vampire yields that the switch does not occur and the bosoming does not occur. ; $proof$ = 
void -> assump1: Let's assume that the lagging vampire does not occur.; sent4 & assump1 -> int1: the queening does not occur.; sent18 & sent17 -> int2: the shrinkage does not occur.; int1 & int2 -> int3: the queening does not occur and the shrinkage does not occur.; [assump1] & int3 -> hypothesis; __PROVED__