if the empiricalness does not occur then the fact that the setting and the offensiveness happens hold.
sent1: the averaging leather happens. sent2: the setting happens and the stewing occurs. sent3: that the beating occurs yields that the averaging leather occurs and the cholecystectomy happens. sent4: that the empiricalness and the mercantileness happens does not hold. sent5: the calcicolousness and the quartzoseness happens. sent6: if the fact that the empiricalness but not the mercantileness occurs is incorrect the offensiveness occurs. sent7: if the mercantileness does not occur the overturning epithet occurs and the empiricalness happens.
void -> assump2: Let's assume that the empiricalness but not the mercantileness happens.; assump2 -> int1: the empiricalness occurs.; void -> assump1: Let's assume that the empiricalness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that that the empiricalness and the non-mercantileness occurs hold is not true.; int3 & sent6 -> int4: that the offensiveness occurs is not false.; sent2 -> int5: the setting happens.; int4 & int5 -> int6: both the setting and the offensiveness occurs.; [assump1] & int6 -> hypothesis;
the overturning epithet happens.
$hypothesis$ = if the empiricalness does not occur then the fact that the setting and the offensiveness happens hold. ; $context$ = sent1: the averaging leather happens. sent2: the setting happens and the stewing occurs. sent3: that the beating occurs yields that the averaging leather occurs and the cholecystectomy happens. sent4: that the empiricalness and the mercantileness happens does not hold. sent5: the calcicolousness and the quartzoseness happens. sent6: if the fact that the empiricalness but not the mercantileness occurs is incorrect the offensiveness occurs. sent7: if the mercantileness does not occur the overturning epithet occurs and the empiricalness happens. ; $proof$ = 
void -> assump2: Let's assume that the empiricalness but not the mercantileness happens.; assump2 -> int1: the empiricalness occurs.; void -> assump1: Let's assume that the empiricalness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that that the empiricalness and the non-mercantileness occurs hold is not true.; int3 & sent6 -> int4: that the offensiveness occurs is not false.; sent2 -> int5: the setting happens.; int4 & int5 -> int6: both the setting and the offensiveness occurs.; [assump1] & int6 -> hypothesis; __PROVED__