the embracing does not occur.
sent1: that not the scratch but the proposing Bennett occurs does not hold if the straightening happens. sent2: that the scratch and the proposing Bennett happens is false. sent3: the Andeanness does not occur. sent4: the improvidentness happens or the filling pledger does not occur or both if the bridal does not occur. sent5: if the improvidentness occurs or the filling pledger does not occur or both then the campaign happens. sent6: the campaign does not occur. sent7: if the straightening occurs that the scratching occurs and the proposing Bennett happens does not hold. sent8: if the bridalness occurs the fact that the straightening happens is correct. sent9: if that the scratching does not occur and the proposing Bennett occurs is wrong then the embrace does not occur. sent10: if the campaigning but not the bridal occurs the embrace happens. sent11: the falling happens.
void -> assump1: Let's assume that the bridal does not occur.; sent4 & assump1 -> int1: the improvidentness occurs and/or the filling pledger does not occur.; int1 & sent5 -> int2: the campaign occurs.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bridalness happens.; int4 & sent8 -> int5: the straightening happens.; int5 & sent1 -> int6: that not the scratching but the proposing Bennett occurs does not hold.; int6 & sent9 -> hypothesis;
that the embracing happens hold.
$hypothesis$ = the embracing does not occur. ; $context$ = sent1: that not the scratch but the proposing Bennett occurs does not hold if the straightening happens. sent2: that the scratch and the proposing Bennett happens is false. sent3: the Andeanness does not occur. sent4: the improvidentness happens or the filling pledger does not occur or both if the bridal does not occur. sent5: if the improvidentness occurs or the filling pledger does not occur or both then the campaign happens. sent6: the campaign does not occur. sent7: if the straightening occurs that the scratching occurs and the proposing Bennett happens does not hold. sent8: if the bridalness occurs the fact that the straightening happens is correct. sent9: if that the scratching does not occur and the proposing Bennett occurs is wrong then the embrace does not occur. sent10: if the campaigning but not the bridal occurs the embrace happens. sent11: the falling happens. ; $proof$ = 
void -> assump1: Let's assume that the bridal does not occur.; sent4 & assump1 -> int1: the improvidentness occurs and/or the filling pledger does not occur.; int1 & sent5 -> int2: the campaign occurs.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bridalness happens.; int4 & sent8 -> int5: the straightening happens.; int5 & sent1 -> int6: that not the scratching but the proposing Bennett occurs does not hold.; int6 & sent9 -> hypothesis; __PROVED__