the Bolivianness does not occur.
sent1: the tertianness happens and the tangibleness happens. sent2: the tangibleness occurs. sent3: the detoxification does not occur. sent4: the tertianness does not occur if the non-blue-collarness and/or the non-tangibleness occurs. sent5: the fact that the inflectionalness does not occur and the entrancing emir does not occur is incorrect if the rebellion happens. sent6: the entrancing emir does not occur. sent7: if the tertianness occurs the implantation does not occur. sent8: that the implantation does not occur and the advectiveness does not occur is brought about by that the tertianness does not occur. sent9: that the advectiveness but not the implantation occurs is brought about by that the tertianness happens. sent10: the inflectionalness does not occur. sent11: the fact that the implantation does not occur is true. sent12: the blue-collarness occurs. sent13: that that the Bolivianness does not occur is triggered by that the advectiveness but not the rebellion occurs is not false. sent14: that the mews does not occur and the starlight does not occur is not correct if the ateleioticness happens. sent15: the animadverting does not occur if that the implantation does not occur and/or the Bolivianness does not occur does not hold.
void -> assump1: Let's assume that the rebellion happens.; sent5 & assump1 -> int1: the fact that the inflectionalness does not occur and the entrancing emir does not occur is wrong.; sent10 & sent6 -> int2: the inflectionalness does not occur and the entrancing emir does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the rebellion does not occur is true.; sent1 -> int5: the tertianness happens.; sent9 & int5 -> int6: the advectiveness but not the implantation occurs.; int6 -> int7: the advectiveness occurs.; int4 & int7 -> int8: the advectiveness occurs and the rebellion does not occur.; int8 & sent13 -> hypothesis;
the fact that the Bolivianness occurs hold.
$hypothesis$ = the Bolivianness does not occur. ; $context$ = sent1: the tertianness happens and the tangibleness happens. sent2: the tangibleness occurs. sent3: the detoxification does not occur. sent4: the tertianness does not occur if the non-blue-collarness and/or the non-tangibleness occurs. sent5: the fact that the inflectionalness does not occur and the entrancing emir does not occur is incorrect if the rebellion happens. sent6: the entrancing emir does not occur. sent7: if the tertianness occurs the implantation does not occur. sent8: that the implantation does not occur and the advectiveness does not occur is brought about by that the tertianness does not occur. sent9: that the advectiveness but not the implantation occurs is brought about by that the tertianness happens. sent10: the inflectionalness does not occur. sent11: the fact that the implantation does not occur is true. sent12: the blue-collarness occurs. sent13: that that the Bolivianness does not occur is triggered by that the advectiveness but not the rebellion occurs is not false. sent14: that the mews does not occur and the starlight does not occur is not correct if the ateleioticness happens. sent15: the animadverting does not occur if that the implantation does not occur and/or the Bolivianness does not occur does not hold. ; $proof$ = 
void -> assump1: Let's assume that the rebellion happens.; sent5 & assump1 -> int1: the fact that the inflectionalness does not occur and the entrancing emir does not occur is wrong.; sent10 & sent6 -> int2: the inflectionalness does not occur and the entrancing emir does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the rebellion does not occur is true.; sent1 -> int5: the tertianness happens.; sent9 & int5 -> int6: the advectiveness but not the implantation occurs.; int6 -> int7: the advectiveness occurs.; int4 & int7 -> int8: the advectiveness occurs and the rebellion does not occur.; int8 & sent13 -> hypothesis; __PROVED__