the corkscrewing Carpinaceae happens.
sent1: the non-accentualness triggers the corkscrewing Carpinaceae. sent2: if the fact that the passerineness or the categorematicness or both happens is incorrect the accentualness does not occur. sent3: that the non-nonpasserineness and/or the categorematicness occurs is false if the vexing does not occur. sent4: the Israeliness prevents that the virginalness does not occur. sent5: the Israeli happens. sent6: either that the vexing occurs or that the corkscrewing wheeled occurs or both leads to the non-virginalness.
void -> assump1: Let's assume that the vexing occurs.; assump1 -> int1: that either the vexing or the corkscrewing wheeled or both happens is right.; int1 & sent6 -> int2: the virginal does not occur.; sent4 & sent5 -> int3: the virginal occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the vexing does not occur.; int5 & sent3 -> int6: the fact that either the nonpasserineness does not occur or the categorematicness occurs or both does not hold.; int6 & sent2 -> int7: that the accentualness does not occur hold.; int7 & sent1 -> hypothesis;
$hypothesis$ = the corkscrewing Carpinaceae happens. ; $context$ = sent1: the non-accentualness triggers the corkscrewing Carpinaceae. sent2: if the fact that the passerineness or the categorematicness or both happens is incorrect the accentualness does not occur. sent3: that the non-nonpasserineness and/or the categorematicness occurs is false if the vexing does not occur. sent4: the Israeliness prevents that the virginalness does not occur. sent5: the Israeli happens. sent6: either that the vexing occurs or that the corkscrewing wheeled occurs or both leads to the non-virginalness. ; $proof$ = 
void -> assump1: Let's assume that the vexing occurs.; assump1 -> int1: that either the vexing or the corkscrewing wheeled or both happens is right.; int1 & sent6 -> int2: the virginal does not occur.; sent4 & sent5 -> int3: the virginal occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the vexing does not occur.; int5 & sent3 -> int6: the fact that either the nonpasserineness does not occur or the categorematicness occurs or both does not hold.; int6 & sent2 -> int7: that the accentualness does not occur hold.; int7 & sent1 -> hypothesis; __PROVED__