the bearing coruscation occurs.
sent1: that the barographicness happens and the bearing jazz happens is incorrect if the surcharge happens. sent2: if the surcharging occurs then the fact that both the non-barographicness and the bearing jazz occurs does not hold. sent3: if that that the burdening but not the matinee occurs is false is true the inquiry happens. sent4: the non-barographicness and the bearing jazz happens. sent5: that the park occurs and the schottische happens is not true. sent6: the semi-tuberousness causes that the bearing coruscation happens. sent7: if the Indianness happens the semi-tuberousness happens. sent8: if the fact that the high-energiness does not occur is right then the evening Puccini happens. sent9: the gutsiness happens and the outshouting flak does not occur. sent10: the fact that the invertebrateness does not occur but the outshouting Hymenophyllum happens does not hold. sent11: the fact that the sequel and the Indian happens is incorrect. sent12: the Indian does not occur. sent13: that the barographicness and the bearing jazz occurs is incorrect. sent14: the bearing crampbark does not occur but the substitution happens. sent15: if that the sequel but not the Indianness happens is incorrect the semi-tuberousness happens. sent16: that the condemnation happens but the casing does not occur is false. sent17: the fact that the anagogicness but not the booking happens does not hold if the barographicness does not occur. sent18: if the sequel but not the Indianness occurs then the surcharging occurs. sent19: the fact that the calciticness occurs is not incorrect.
void -> assump1: Let's assume that the sequel happens and the Indianness does not occur.; sent18 & assump1 -> int1: the surcharging happens.; int1 & sent2 -> int2: that that the non-barographicness and the bearing jazz occurs is not right is not false.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: that both the sequel and the non-Indianness occurs is not true.; int4 & sent15 -> int5: the semi-tuberousness occurs.; int5 & sent6 -> hypothesis;
that the anagogicness happens and the booking does not occur is wrong.
$hypothesis$ = the bearing coruscation occurs. ; $context$ = sent1: that the barographicness happens and the bearing jazz happens is incorrect if the surcharge happens. sent2: if the surcharging occurs then the fact that both the non-barographicness and the bearing jazz occurs does not hold. sent3: if that that the burdening but not the matinee occurs is false is true the inquiry happens. sent4: the non-barographicness and the bearing jazz happens. sent5: that the park occurs and the schottische happens is not true. sent6: the semi-tuberousness causes that the bearing coruscation happens. sent7: if the Indianness happens the semi-tuberousness happens. sent8: if the fact that the high-energiness does not occur is right then the evening Puccini happens. sent9: the gutsiness happens and the outshouting flak does not occur. sent10: the fact that the invertebrateness does not occur but the outshouting Hymenophyllum happens does not hold. sent11: the fact that the sequel and the Indian happens is incorrect. sent12: the Indian does not occur. sent13: that the barographicness and the bearing jazz occurs is incorrect. sent14: the bearing crampbark does not occur but the substitution happens. sent15: if that the sequel but not the Indianness happens is incorrect the semi-tuberousness happens. sent16: that the condemnation happens but the casing does not occur is false. sent17: the fact that the anagogicness but not the booking happens does not hold if the barographicness does not occur. sent18: if the sequel but not the Indianness occurs then the surcharging occurs. sent19: the fact that the calciticness occurs is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the sequel happens and the Indianness does not occur.; sent18 & assump1 -> int1: the surcharging happens.; int1 & sent2 -> int2: that that the non-barographicness and the bearing jazz occurs is not right is not false.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: that both the sequel and the non-Indianness occurs is not true.; int4 & sent15 -> int5: the semi-tuberousness occurs.; int5 & sent6 -> hypothesis; __PROVED__