that the technophobicness occurs leads to that both the opticalness and the non-benedictoriness occurs.
sent1: that the backhander does not occur results in that the benedictoriness occurs but the subarcticness does not occur. sent2: the counterpunch happens. sent3: the technophobicness is prevented by that the benedictoriness and the backhander occurs. sent4: the opticalness does not occur if the fact that the precaution and the opticalness happens is incorrect. sent5: the opticalness happens if that either the precaution does not occur or the unprofitableness happens or both is not true. sent6: the carboxylness occurs and the Shintoness occurs if the uptick does not occur. sent7: if the fact that the dumping prior occurs but the counterpunch does not occur is incorrect the uptick does not occur. sent8: the fact that the dumping prior occurs but the counterpunch does not occur is incorrect. sent9: that the technophobicness does not occur is prevented by that the benedictoriness happens and the backhander happens. sent10: the fact that that the precaution does not occur or the unprofitableness occurs or both is not incorrect is not right. sent11: the greeting spacewalker happens. sent12: both the blastosphericness and the profitableness occurs if the carboxylness happens. sent13: the backhander occurs.
void -> assump1: Let's assume that the benedictoriness occurs.; assump1 & sent13 -> int1: both the benedictoriness and the backhander happens.; int1 & sent3 -> int2: the technophobicness does not occur.; void -> assump2: Let's assume that the technophobicness occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the benedictoriness does not occur.; sent5 & sent10 -> int5: the opticalness occurs.; int4 & int5 -> int6: the opticalness but not the benedictoriness occurs.; [assump2] & int6 -> hypothesis;
the subarcticness does not occur.
sent7 & sent8 -> int7: the uptick does not occur.; sent6 & int7 -> int8: the carboxyl happens and the Shinto occurs.; int8 -> int9: the carboxyl happens.; sent12 & int9 -> int10: the blastosphericness but not the unprofitableness happens.; int10 -> int11: the unprofitableness does not occur.;
$hypothesis$ = that the technophobicness occurs leads to that both the opticalness and the non-benedictoriness occurs. ; $context$ = sent1: that the backhander does not occur results in that the benedictoriness occurs but the subarcticness does not occur. sent2: the counterpunch happens. sent3: the technophobicness is prevented by that the benedictoriness and the backhander occurs. sent4: the opticalness does not occur if the fact that the precaution and the opticalness happens is incorrect. sent5: the opticalness happens if that either the precaution does not occur or the unprofitableness happens or both is not true. sent6: the carboxylness occurs and the Shintoness occurs if the uptick does not occur. sent7: if the fact that the dumping prior occurs but the counterpunch does not occur is incorrect the uptick does not occur. sent8: the fact that the dumping prior occurs but the counterpunch does not occur is incorrect. sent9: that the technophobicness does not occur is prevented by that the benedictoriness happens and the backhander happens. sent10: the fact that that the precaution does not occur or the unprofitableness occurs or both is not incorrect is not right. sent11: the greeting spacewalker happens. sent12: both the blastosphericness and the profitableness occurs if the carboxylness happens. sent13: the backhander occurs. ; $proof$ = 
void -> assump1: Let's assume that the benedictoriness occurs.; assump1 & sent13 -> int1: both the benedictoriness and the backhander happens.; int1 & sent3 -> int2: the technophobicness does not occur.; void -> assump2: Let's assume that the technophobicness occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the benedictoriness does not occur.; sent5 & sent10 -> int5: the opticalness occurs.; int4 & int5 -> int6: the opticalness but not the benedictoriness occurs.; [assump2] & int6 -> hypothesis; __PROVED__