that the bubonicness does not occur is caused by that the spending consenting occurs.
sent1: if the bigamy happens then the surrounding does not occur. sent2: if both the resale and the spending consenting happens the bubonicness does not occur. sent3: the assuming Arhat happens. sent4: the chancroidalness happens. sent5: the backgrounding does not occur if the prickling occurs and the quoits happens. sent6: the whitingness happens. sent7: that the bubonicness happens is brought about by that the spending consenting occurs. sent8: the backgrounding occurs. sent9: that the diamagneticness does not occur is caused by that the idiolatry occurs and the congratulating submissiveness happens. sent10: the testifying transcendentalism happens. sent11: the combining happens. sent12: the unwrapping occurs and the torsion occurs. sent13: the testifying beth happens. sent14: the extralinguisticness does not occur. sent15: that the extralinguisticness does not occur leads to that the resale occurs. sent16: if that the piscineness happens is not false the form does not occur. sent17: the systematicsness happens and the cuddle occurs.
sent15 & sent14 -> int1: the resale occurs.; void -> assump1: Let's assume that the spending consenting happens.; int1 & assump1 -> int2: the resale occurs and the spending consenting occurs.; sent2 & int2 -> int3: the bubonicness does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the bubonicness does not occur is caused by that the spending consenting occurs. ; $context$ = sent1: if the bigamy happens then the surrounding does not occur. sent2: if both the resale and the spending consenting happens the bubonicness does not occur. sent3: the assuming Arhat happens. sent4: the chancroidalness happens. sent5: the backgrounding does not occur if the prickling occurs and the quoits happens. sent6: the whitingness happens. sent7: that the bubonicness happens is brought about by that the spending consenting occurs. sent8: the backgrounding occurs. sent9: that the diamagneticness does not occur is caused by that the idiolatry occurs and the congratulating submissiveness happens. sent10: the testifying transcendentalism happens. sent11: the combining happens. sent12: the unwrapping occurs and the torsion occurs. sent13: the testifying beth happens. sent14: the extralinguisticness does not occur. sent15: that the extralinguisticness does not occur leads to that the resale occurs. sent16: if that the piscineness happens is not false the form does not occur. sent17: the systematicsness happens and the cuddle occurs. ; $proof$ = 
sent15 & sent14 -> int1: the resale occurs.; void -> assump1: Let's assume that the spending consenting happens.; int1 & assump1 -> int2: the resale occurs and the spending consenting occurs.; sent2 & int2 -> int3: the bubonicness does not occur.; [assump1] & int3 -> hypothesis; __PROVED__