the fact that if the fossorialness happens the endeavoring happens is incorrect.
sent1: that both the preparation and the absenteeism happens prevents the fossorialness. sent2: that both the non-paroxysmalness and the abstaining happens yields that the preparation occurs. sent3: the clawing impatience does not occur and the consideration does not occur if the absenteeism does not occur. sent4: the non-paroxysmalness and the abstaining occurs. sent5: if the clawing impatience does not occur and the consideration does not occur then the endeavoring happens.
void -> assump1: Let's assume that the fossorialness occurs.; sent2 & sent4 -> int1: the preparation happens.; void -> assump2: Let's assume that the absenteeism happens.; int1 & assump2 -> int2: the preparation and the absenteeism happens.; sent1 & int2 -> int3: the fossorialness does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the absenteeism does not occur.; sent3 & int5 -> int6: the clawing impatience does not occur and the consideration does not occur.; sent5 & int6 -> int7: the endeavoring happens.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that if the fossorialness happens the endeavoring happens is incorrect. ; $context$ = sent1: that both the preparation and the absenteeism happens prevents the fossorialness. sent2: that both the non-paroxysmalness and the abstaining happens yields that the preparation occurs. sent3: the clawing impatience does not occur and the consideration does not occur if the absenteeism does not occur. sent4: the non-paroxysmalness and the abstaining occurs. sent5: if the clawing impatience does not occur and the consideration does not occur then the endeavoring happens. ; $proof$ = 
void -> assump1: Let's assume that the fossorialness occurs.; sent2 & sent4 -> int1: the preparation happens.; void -> assump2: Let's assume that the absenteeism happens.; int1 & assump2 -> int2: the preparation and the absenteeism happens.; sent1 & int2 -> int3: the fossorialness does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the absenteeism does not occur.; sent3 & int5 -> int6: the clawing impatience does not occur and the consideration does not occur.; sent5 & int6 -> int7: the endeavoring happens.; [assump1] & int7 -> hypothesis; __DISPROVED__