the staling constitutionalist does not occur.
sent1: that the cast happens is caused by the characteristicness. sent2: the self-control happens and the piecework happens. sent3: that the uncharacteristicness does not occur yields that the prokaryoticness happens and the cast happens. sent4: the smashing K.E. happens. sent5: the uncharacteristicness does not occur. sent6: that the prokaryoticness does not occur is triggered by that the smashing K.E. and the staling constitutionalist happens. sent7: that the cast occurs is not false. sent8: the feinting does not occur. sent9: the salientness does not occur. sent10: the casting and the uncharacteristicness occurs if the collapse does not occur. sent11: that the staling constitutionalist does not occur is prevented by either the non-prokaryoticness or that the smashing K.E. does not occur or both.
void -> assump1: Let's assume that the staling constitutionalist happens.; sent4 & assump1 -> int1: the smashing K.E. and the staling constitutionalist occurs.; int1 & sent6 -> int2: the fact that the prokaryoticness does not occur is not false.; sent3 & sent5 -> int3: the prokaryoticness happens and the casting occurs.; int3 -> int4: the prokaryoticness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the staling constitutionalist happens.
$hypothesis$ = the staling constitutionalist does not occur. ; $context$ = sent1: that the cast happens is caused by the characteristicness. sent2: the self-control happens and the piecework happens. sent3: that the uncharacteristicness does not occur yields that the prokaryoticness happens and the cast happens. sent4: the smashing K.E. happens. sent5: the uncharacteristicness does not occur. sent6: that the prokaryoticness does not occur is triggered by that the smashing K.E. and the staling constitutionalist happens. sent7: that the cast occurs is not false. sent8: the feinting does not occur. sent9: the salientness does not occur. sent10: the casting and the uncharacteristicness occurs if the collapse does not occur. sent11: that the staling constitutionalist does not occur is prevented by either the non-prokaryoticness or that the smashing K.E. does not occur or both. ; $proof$ = 
void -> assump1: Let's assume that the staling constitutionalist happens.; sent4 & assump1 -> int1: the smashing K.E. and the staling constitutionalist occurs.; int1 & sent6 -> int2: the fact that the prokaryoticness does not occur is not false.; sent3 & sent5 -> int3: the prokaryoticness happens and the casting occurs.; int3 -> int4: the prokaryoticness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__