the anecdotalness does not occur but the shortstop happens.
sent1: the fact that the shortstop occurs is not incorrect. sent2: the decreasing happens. sent3: if the impersonating pileup happens then the proposal does not occur. sent4: the impersonating intermission does not occur. sent5: the non-Arabianness results in that the exemptness happens and the Bolshevikness does not occur. sent6: the Bolshevikness does not occur. sent7: that the exempting happens and/or the extension prevents that the offside happens. sent8: the offside occurs. sent9: that both the non-anecdotalness and the shortstop occurs is not right if the immobilization happens. sent10: if the anecdotalness happens and/or the immobilization occurs then the Arabian does not occur.
void -> assump1: Let's assume that the anecdotalness occurs.; assump1 -> int1: either the anecdotalness occurs or the immobilization occurs or both.; int1 & sent10 -> int2: the Arabianness does not occur.; int2 & sent5 -> int3: both the exemptness and the non-Bolshevikness occurs.; int3 -> int4: the exemptness occurs.; int4 -> int5: either the exempting happens or the extension happens or both.; int5 & sent7 -> int6: the offside does not occur.; int6 & sent8 -> int7: this is contradiction.; [assump1] & int7 -> int8: the anecdotalness does not occur.; int8 & sent1 -> hypothesis;
the fact that not the anecdotalness but the shortstop happens is not right.
$hypothesis$ = the anecdotalness does not occur but the shortstop happens. ; $context$ = sent1: the fact that the shortstop occurs is not incorrect. sent2: the decreasing happens. sent3: if the impersonating pileup happens then the proposal does not occur. sent4: the impersonating intermission does not occur. sent5: the non-Arabianness results in that the exemptness happens and the Bolshevikness does not occur. sent6: the Bolshevikness does not occur. sent7: that the exempting happens and/or the extension prevents that the offside happens. sent8: the offside occurs. sent9: that both the non-anecdotalness and the shortstop occurs is not right if the immobilization happens. sent10: if the anecdotalness happens and/or the immobilization occurs then the Arabian does not occur. ; $proof$ = 
void -> assump1: Let's assume that the anecdotalness occurs.; assump1 -> int1: either the anecdotalness occurs or the immobilization occurs or both.; int1 & sent10 -> int2: the Arabianness does not occur.; int2 & sent5 -> int3: both the exemptness and the non-Bolshevikness occurs.; int3 -> int4: the exemptness occurs.; int4 -> int5: either the exempting happens or the extension happens or both.; int5 & sent7 -> int6: the offside does not occur.; int6 & sent8 -> int7: this is contradiction.; [assump1] & int7 -> int8: the anecdotalness does not occur.; int8 & sent1 -> hypothesis; __PROVED__