the Americanism happens.
sent1: if the beggar-my-neighbor does not occur then that the pistillateness and the non-plantarness occurs is wrong. sent2: if the HRT occurs the fact that the triangulation does not occur and the botanicness does not occur does not hold. sent3: if the fact that the excusing quarter-hour does not occur but the gallantry occurs is incorrect then the beggar-my-neighbor does not occur. sent4: that the botanicness does not occur is caused by that the tenderization does not occur. sent5: that the triangulation does not occur and the botanicness does not occur is brought about by that the tenderization does not occur. sent6: the Americanism does not occur if the fact that that the pistillateness but not the plantarness occurs is false is not false. sent7: the fact that the triangulation does not occur and the botanicness happens is wrong if the HRT happens. sent8: the fact that the excusing quarter-hour does not occur and the gallantry occurs does not hold if the HRT does not occur. sent9: the HRT does not occur and the activating saury does not occur if the gallantry does not occur. sent10: the tenderization does not occur. sent11: both the Americanism and the HRT happens if the gallantry does not occur.
void -> assump1: Let's assume that the HRT happens.; sent2 & assump1 -> int1: that the triangulation does not occur and the botanicness does not occur is not correct.; sent5 & sent10 -> int2: the triangulation does not occur and the botanicness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the HRT does not occur is true.; int4 & sent8 -> int5: that the excusing quarter-hour does not occur and the gallantry occurs does not hold.; int5 & sent3 -> int6: the beggar-my-neighbor does not occur.; int6 & sent1 -> int7: the fact that both the pistillateness and the non-plantarness happens does not hold.; int7 & sent6 -> hypothesis;
the Americanism occurs.
$hypothesis$ = the Americanism happens. ; $context$ = sent1: if the beggar-my-neighbor does not occur then that the pistillateness and the non-plantarness occurs is wrong. sent2: if the HRT occurs the fact that the triangulation does not occur and the botanicness does not occur does not hold. sent3: if the fact that the excusing quarter-hour does not occur but the gallantry occurs is incorrect then the beggar-my-neighbor does not occur. sent4: that the botanicness does not occur is caused by that the tenderization does not occur. sent5: that the triangulation does not occur and the botanicness does not occur is brought about by that the tenderization does not occur. sent6: the Americanism does not occur if the fact that that the pistillateness but not the plantarness occurs is false is not false. sent7: the fact that the triangulation does not occur and the botanicness happens is wrong if the HRT happens. sent8: the fact that the excusing quarter-hour does not occur and the gallantry occurs does not hold if the HRT does not occur. sent9: the HRT does not occur and the activating saury does not occur if the gallantry does not occur. sent10: the tenderization does not occur. sent11: both the Americanism and the HRT happens if the gallantry does not occur. ; $proof$ = 
void -> assump1: Let's assume that the HRT happens.; sent2 & assump1 -> int1: that the triangulation does not occur and the botanicness does not occur is not correct.; sent5 & sent10 -> int2: the triangulation does not occur and the botanicness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the HRT does not occur is true.; int4 & sent8 -> int5: that the excusing quarter-hour does not occur and the gallantry occurs does not hold.; int5 & sent3 -> int6: the beggar-my-neighbor does not occur.; int6 & sent1 -> int7: the fact that both the pistillateness and the non-plantarness happens does not hold.; int7 & sent6 -> hypothesis; __DISPROVED__