the rentalness does not occur and/or the superposition does not occur if the upheaving does not occur.
sent1: the congratulating does not occur if the upheaving does not occur and the endowment does not occur. sent2: either the non-rentalness or that the superposition does not occur or both is caused by the upheaving. sent3: that the rentalness does not occur and/or that the superposition does not occur is triggered by that the bed-hopping does not occur. sent4: the thespianness occurs or the vestiariness does not occur or both. sent5: the wrestle happens if that the taming artery does not occur is correct. sent6: if the fact that the taming artery but not the cancan occurs is false that the wrestle happens is not false. sent7: if the fact that the upheaving does not occur is true then either the rental happens or the superposition does not occur or both. sent8: the fact that the endowment does not occur but the upheaving occurs is incorrect. sent9: the lobbyism does not occur. sent10: that both the wrestling and the bed-hopping occurs prevents that the endowment happens. sent11: that the endowment does not occur and the upheaving does not occur does not hold. sent12: the rentalness does not occur and/or the superposition occurs. sent13: that the taming artery occurs and the cancan does not occur is not right.
sent6 & sent13 -> int1: the wrestle happens.; void -> assump1: Let's assume that the bed-hopping occurs.; int1 & assump1 -> int2: the wrestling and the bed-hopping happens.; int2 & sent10 -> int3: the endowment does not occur.; void -> assump2: Let's assume that the upheaving does not occur.; int3 & assump2 -> int4: the endowment does not occur and the upheaving does not occur.; int4 & sent11 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bed-hopping does not occur.; int6 & sent3 -> int7: either the rentalness does not occur or the superposition does not occur or both.; [assump2] & int7 -> hypothesis;
the congratulating does not occur and the antiphonary does not occur.
$hypothesis$ = the rentalness does not occur and/or the superposition does not occur if the upheaving does not occur. ; $context$ = sent1: the congratulating does not occur if the upheaving does not occur and the endowment does not occur. sent2: either the non-rentalness or that the superposition does not occur or both is caused by the upheaving. sent3: that the rentalness does not occur and/or that the superposition does not occur is triggered by that the bed-hopping does not occur. sent4: the thespianness occurs or the vestiariness does not occur or both. sent5: the wrestle happens if that the taming artery does not occur is correct. sent6: if the fact that the taming artery but not the cancan occurs is false that the wrestle happens is not false. sent7: if the fact that the upheaving does not occur is true then either the rental happens or the superposition does not occur or both. sent8: the fact that the endowment does not occur but the upheaving occurs is incorrect. sent9: the lobbyism does not occur. sent10: that both the wrestling and the bed-hopping occurs prevents that the endowment happens. sent11: that the endowment does not occur and the upheaving does not occur does not hold. sent12: the rentalness does not occur and/or the superposition occurs. sent13: that the taming artery occurs and the cancan does not occur is not right. ; $proof$ = 
sent6 & sent13 -> int1: the wrestle happens.; void -> assump1: Let's assume that the bed-hopping occurs.; int1 & assump1 -> int2: the wrestling and the bed-hopping happens.; int2 & sent10 -> int3: the endowment does not occur.; void -> assump2: Let's assume that the upheaving does not occur.; int3 & assump2 -> int4: the endowment does not occur and the upheaving does not occur.; int4 & sent11 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bed-hopping does not occur.; int6 & sent3 -> int7: either the rentalness does not occur or the superposition does not occur or both.; [assump2] & int7 -> hypothesis; __PROVED__