that that both the virulentness and the neglecting colony happens prevents the lowercaseness is wrong.
sent1: if the spasticness happens and the braggadocio occurs the supplementation occurs. sent2: the diving happens and the neglecting leporid occurs. sent3: if the bignoniaceousness does not occur then the fact that the backlogging happens or the approval occurs or both is not wrong. sent4: that the bignoniaceousness does not occur and/or that the studding hairsplitter does not occur triggers the bignoniaceousnessness. sent5: the approval occurs. sent6: the fact that the neglecting colony occurs is correct. sent7: both the neglecting Chavez and the studding Granada occurs. sent8: the mutiny does not occur but the nesting Nash happens. sent9: the lowercaseness occurs if both the virulentness and the neglecting colony happens. sent10: the backlogging and the approval happens. sent11: the expelling does not occur. sent12: if the virulentness happens and the lowercase happens then the backlogging does not occur. sent13: the pictorialness and the linemen happens. sent14: both the electronicsness and the Mexicanness occurs. sent15: that both the neglecting colony and the lowercaseness occurs is brought about by that the mutinying does not occur. sent16: that the bignoniaceousness does not occur or that the studding hairsplitter does not occur or both is brought about by that the neglecting subcontract does not occur. sent17: if the electronicsness occurs and the nesting broken happens then the nesting Granada occurs. sent18: the sugarlessness does not occur.
void -> assump2: Let's assume that the virulentness and the neglecting colony happens.; assump2 -> int1: the virulentness happens.; void -> assump1: Let's assume that the lowercase happens.; int1 & assump1 -> int2: the virulentness and the lowercaseness happens.; int2 & sent12 -> int3: the fact that the backlog does not occur is not false.; sent10 -> int4: the backlogging happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the lowercaseness does not occur.; [assump2] & int6 -> hypothesis;
that the humoring occurs and the accelerating occurs hold.
sent8 -> int7: the mutiny does not occur.; sent15 & int7 -> int8: the neglecting colony and the lowercaseness happens.; int8 -> int9: the neglecting colony happens.;
$hypothesis$ = that that both the virulentness and the neglecting colony happens prevents the lowercaseness is wrong. ; $context$ = sent1: if the spasticness happens and the braggadocio occurs the supplementation occurs. sent2: the diving happens and the neglecting leporid occurs. sent3: if the bignoniaceousness does not occur then the fact that the backlogging happens or the approval occurs or both is not wrong. sent4: that the bignoniaceousness does not occur and/or that the studding hairsplitter does not occur triggers the bignoniaceousnessness. sent5: the approval occurs. sent6: the fact that the neglecting colony occurs is correct. sent7: both the neglecting Chavez and the studding Granada occurs. sent8: the mutiny does not occur but the nesting Nash happens. sent9: the lowercaseness occurs if both the virulentness and the neglecting colony happens. sent10: the backlogging and the approval happens. sent11: the expelling does not occur. sent12: if the virulentness happens and the lowercase happens then the backlogging does not occur. sent13: the pictorialness and the linemen happens. sent14: both the electronicsness and the Mexicanness occurs. sent15: that both the neglecting colony and the lowercaseness occurs is brought about by that the mutinying does not occur. sent16: that the bignoniaceousness does not occur or that the studding hairsplitter does not occur or both is brought about by that the neglecting subcontract does not occur. sent17: if the electronicsness occurs and the nesting broken happens then the nesting Granada occurs. sent18: the sugarlessness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the virulentness and the neglecting colony happens.; assump2 -> int1: the virulentness happens.; void -> assump1: Let's assume that the lowercase happens.; int1 & assump1 -> int2: the virulentness and the lowercaseness happens.; int2 & sent12 -> int3: the fact that the backlog does not occur is not false.; sent10 -> int4: the backlogging happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the lowercaseness does not occur.; [assump2] & int6 -> hypothesis; __DISPROVED__