that the catapulting occurs yields that the multidimensionalness does not occur and the Rock does not occur.
sent1: if the innocuousness happens the cocooning does not occur and the creeping happens. sent2: that the enervation occurs is true. sent3: the offering enterovirus does not occur. sent4: if the plastering does not occur then the Rock does not occur. sent5: the catapult is prevented by that the multidimensionalness occurs and the enervation occurs. sent6: that the Rock does not occur is not wrong if the bottom-upness does not occur. sent7: that not the carelessness but the indexing occurs is caused by that the empiricism happens. sent8: the Incanness occurs. sent9: that the carelessness does not occur brings about that the plastering does not occur and/or the bottom-upness does not occur. sent10: the empiricism occurs.
void -> assump2: Let's assume that that the multidimensionalness happens hold.; assump2 & sent2 -> int1: the fact that the multidimensionalness occurs and the enervation occurs is true.; int1 & sent5 -> int2: the catapulting does not occur.; void -> assump1: Let's assume that the catapulting occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the multidimensionalness does not occur.; sent7 & sent10 -> int5: the carelessness does not occur but the indexing happens.; int5 -> int6: the carelessness does not occur.; sent9 & int6 -> int7: the plastering does not occur or the bottom-upness does not occur or both.; int7 & sent4 & sent6 -> int8: the Rock does not occur.; int4 & int8 -> int9: the multidimensionalness does not occur and the Rock does not occur.; [assump1] & int9 -> hypothesis;
$hypothesis$ = that the catapulting occurs yields that the multidimensionalness does not occur and the Rock does not occur. ; $context$ = sent1: if the innocuousness happens the cocooning does not occur and the creeping happens. sent2: that the enervation occurs is true. sent3: the offering enterovirus does not occur. sent4: if the plastering does not occur then the Rock does not occur. sent5: the catapult is prevented by that the multidimensionalness occurs and the enervation occurs. sent6: that the Rock does not occur is not wrong if the bottom-upness does not occur. sent7: that not the carelessness but the indexing occurs is caused by that the empiricism happens. sent8: the Incanness occurs. sent9: that the carelessness does not occur brings about that the plastering does not occur and/or the bottom-upness does not occur. sent10: the empiricism occurs. ; $proof$ = 
void -> assump2: Let's assume that that the multidimensionalness happens hold.; assump2 & sent2 -> int1: the fact that the multidimensionalness occurs and the enervation occurs is true.; int1 & sent5 -> int2: the catapulting does not occur.; void -> assump1: Let's assume that the catapulting occurs.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the multidimensionalness does not occur.; sent7 & sent10 -> int5: the carelessness does not occur but the indexing happens.; int5 -> int6: the carelessness does not occur.; sent9 & int6 -> int7: the plastering does not occur or the bottom-upness does not occur or both.; int7 & sent4 & sent6 -> int8: the Rock does not occur.; int4 & int8 -> int9: the multidimensionalness does not occur and the Rock does not occur.; [assump1] & int9 -> hypothesis; __PROVED__