that the getting casting does not occur results in that the smattering occurs and the exhibit occurs.
sent1: the angling Bolivian happens. sent2: the fact that the fact that both the getting winker and the getting casting occurs is true is not true. sent3: that the angling batter occurs is right. sent4: if the Bend happens then the exhibiting occurs. sent5: if not the Corsicanness but the angling Bolivian happens the angling isogon happens. sent6: the smattering happens if that the angling isogon occurs hold. sent7: if the getting winker does not occur the mishap does not occur. sent8: the Bend and the nectar-richness happens. sent9: that the Corsicanness does not occur is right if the fact that not the getting winker but the getting casting happens is not right.
void -> assump1: Let's assume that the getting winker does not occur but the getting casting occurs.; assump1 -> int1: the getting casting occurs.; void -> assump2: Let's assume that the getting casting does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the getting winker but the getting casting occurs is not correct.; int3 & sent9 -> int4: the Corsicanness does not occur.; int4 & sent1 -> int5: the non-Corsicanness and the angling Bolivian occurs.; int5 & sent5 -> int6: the angling isogon happens.; int6 & sent6 -> int7: the smattering happens.; sent8 -> int8: the Bend occurs.; sent4 & int8 -> int9: the exhibit happens.; int7 & int9 -> int10: the smattering and the exhibit occurs.; [assump2] & int10 -> hypothesis;
the mishap does not occur.
$hypothesis$ = that the getting casting does not occur results in that the smattering occurs and the exhibit occurs. ; $context$ = sent1: the angling Bolivian happens. sent2: the fact that the fact that both the getting winker and the getting casting occurs is true is not true. sent3: that the angling batter occurs is right. sent4: if the Bend happens then the exhibiting occurs. sent5: if not the Corsicanness but the angling Bolivian happens the angling isogon happens. sent6: the smattering happens if that the angling isogon occurs hold. sent7: if the getting winker does not occur the mishap does not occur. sent8: the Bend and the nectar-richness happens. sent9: that the Corsicanness does not occur is right if the fact that not the getting winker but the getting casting happens is not right. ; $proof$ = 
void -> assump1: Let's assume that the getting winker does not occur but the getting casting occurs.; assump1 -> int1: the getting casting occurs.; void -> assump2: Let's assume that the getting casting does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that not the getting winker but the getting casting occurs is not correct.; int3 & sent9 -> int4: the Corsicanness does not occur.; int4 & sent1 -> int5: the non-Corsicanness and the angling Bolivian occurs.; int5 & sent5 -> int6: the angling isogon happens.; int6 & sent6 -> int7: the smattering happens.; sent8 -> int8: the Bend occurs.; sent4 & int8 -> int9: the exhibit happens.; int7 & int9 -> int10: the smattering and the exhibit occurs.; [assump2] & int10 -> hypothesis; __PROVED__