the Bolivian happens.
sent1: if the unrighteousness happens and the beating occurs the shaving does not occur. sent2: that the Bolivianness does not occur is prevented by that the sinker happens and the specification occurs. sent3: the studying and the shaving happens if the overbalancing does not occur. sent4: the studying happens. sent5: the unrighteousness occurs. sent6: the shaving does not occur and the unrighteousness does not occur if the specification happens. sent7: that the overbalancing does not occur is not wrong. sent8: the Bolivian happens if the sinker occurs but the specification does not occur. sent9: the sinker occurs but the specification does not occur if the beating does not occur. sent10: that the beating and the Bolivianness occurs is not right if the unrighteousness does not occur. sent11: the specification does not occur.
void -> assump1: Let's assume that that the beating occurs is correct.; sent5 & assump1 -> int1: both the unrighteousness and the beat occurs.; int1 & sent1 -> int2: the shave does not occur.; sent3 & sent7 -> int3: the study and the shave happens.; int3 -> int4: the shaving happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the beat does not occur.; int6 & sent9 -> int7: the fact that the sinker but not the specification happens is not false.; int7 & sent8 -> hypothesis;
the Bolivianness does not occur.
$hypothesis$ = the Bolivian happens. ; $context$ = sent1: if the unrighteousness happens and the beating occurs the shaving does not occur. sent2: that the Bolivianness does not occur is prevented by that the sinker happens and the specification occurs. sent3: the studying and the shaving happens if the overbalancing does not occur. sent4: the studying happens. sent5: the unrighteousness occurs. sent6: the shaving does not occur and the unrighteousness does not occur if the specification happens. sent7: that the overbalancing does not occur is not wrong. sent8: the Bolivian happens if the sinker occurs but the specification does not occur. sent9: the sinker occurs but the specification does not occur if the beating does not occur. sent10: that the beating and the Bolivianness occurs is not right if the unrighteousness does not occur. sent11: the specification does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the beating occurs is correct.; sent5 & assump1 -> int1: both the unrighteousness and the beat occurs.; int1 & sent1 -> int2: the shave does not occur.; sent3 & sent7 -> int3: the study and the shave happens.; int3 -> int4: the shaving happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the beat does not occur.; int6 & sent9 -> int7: the fact that the sinker but not the specification happens is not false.; int7 & sent8 -> hypothesis; __PROVED__