the aquatics does not occur.
sent1: the transformation does not occur. sent2: the systematism does not occur if the transformation does not occur. sent3: the alkaloticness happens if the four-wheelness happens. sent4: that the pratfall and the aquatics occurs results in that the discontinuance does not occur. sent5: if the systematism does not occur then that the ecclesiasticism does not occur hold. sent6: the ecclesiasticism does not occur and the alkaloticness does not occur if the systematism does not occur. sent7: if the cosmicness does not occur both the systematism and the transformation occurs. sent8: the fact that the alkaloticness but not the ecclesiasticism occurs does not hold if the systematism occurs. sent9: the pratfall occurs. sent10: if the pratfall does not occur then the aquaticsness occurs. sent11: if the discontinuance does not occur then the four-wheelness occurs.
void -> assump1: Let's assume that the fact that the aquatics happens hold.; sent9 & assump1 -> int1: the pratfall occurs and the aquaticsness occurs.; int1 & sent4 -> int2: the discontinuance does not occur.; int2 & sent11 -> int3: the four-wheelness happens.; int3 & sent3 -> int4: the alkaloticness happens.; sent2 & sent1 -> int5: the systematism does not occur.; sent6 & int5 -> int6: the ecclesiasticism does not occur and the alkaloticness does not occur.; int6 -> int7: the alkaloticness does not occur.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the aquaticsness occurs.
$hypothesis$ = the aquatics does not occur. ; $context$ = sent1: the transformation does not occur. sent2: the systematism does not occur if the transformation does not occur. sent3: the alkaloticness happens if the four-wheelness happens. sent4: that the pratfall and the aquatics occurs results in that the discontinuance does not occur. sent5: if the systematism does not occur then that the ecclesiasticism does not occur hold. sent6: the ecclesiasticism does not occur and the alkaloticness does not occur if the systematism does not occur. sent7: if the cosmicness does not occur both the systematism and the transformation occurs. sent8: the fact that the alkaloticness but not the ecclesiasticism occurs does not hold if the systematism occurs. sent9: the pratfall occurs. sent10: if the pratfall does not occur then the aquaticsness occurs. sent11: if the discontinuance does not occur then the four-wheelness occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the aquatics happens hold.; sent9 & assump1 -> int1: the pratfall occurs and the aquaticsness occurs.; int1 & sent4 -> int2: the discontinuance does not occur.; int2 & sent11 -> int3: the four-wheelness happens.; int3 & sent3 -> int4: the alkaloticness happens.; sent2 & sent1 -> int5: the systematism does not occur.; sent6 & int5 -> int6: the ecclesiasticism does not occur and the alkaloticness does not occur.; int6 -> int7: the alkaloticness does not occur.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__