the self-gratification does not occur.
sent1: the acanthoticness does not occur. sent2: both the typographicness and the indissolubleness occurs. sent3: the fact that not the entraining but the rainstorm happens is not right if the Pythagoreanness does not occur. sent4: the babble and the autopsying happens. sent5: the rejecting happens and the deducing papist occurs. sent6: the fact that the caroling does not occur is true. sent7: the rainstorm happens. sent8: the imperialisticness happens. sent9: the breakthrough does not occur. sent10: the entraining does not occur if the self-gratification and the rainstorm happens. sent11: that the determinableness does not occur hold. sent12: the fact that the upper-classness happens is not false. sent13: the entraining occurs.
void -> assump1: Let's assume that the self-gratification happens.; assump1 & sent7 -> int1: the self-gratification occurs and the rainstorm occurs.; int1 & sent10 -> int2: the entraining does not occur.; int2 & sent13 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the self-gratification happens hold.
$hypothesis$ = the self-gratification does not occur. ; $context$ = sent1: the acanthoticness does not occur. sent2: both the typographicness and the indissolubleness occurs. sent3: the fact that not the entraining but the rainstorm happens is not right if the Pythagoreanness does not occur. sent4: the babble and the autopsying happens. sent5: the rejecting happens and the deducing papist occurs. sent6: the fact that the caroling does not occur is true. sent7: the rainstorm happens. sent8: the imperialisticness happens. sent9: the breakthrough does not occur. sent10: the entraining does not occur if the self-gratification and the rainstorm happens. sent11: that the determinableness does not occur hold. sent12: the fact that the upper-classness happens is not false. sent13: the entraining occurs. ; $proof$ = 
void -> assump1: Let's assume that the self-gratification happens.; assump1 & sent7 -> int1: the self-gratification occurs and the rainstorm occurs.; int1 & sent10 -> int2: the entraining does not occur.; int2 & sent13 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__