the reducibleness does not occur if the scoffing Medicaid happens.
sent1: the mounting does not occur if both the exalting undergarment and the scoffing Medicaid occurs. sent2: the burglariousness occurs and the mount occurs if the aphoristicness does not occur. sent3: that the reducibleness occurs triggers that the exalting undergarment happens. sent4: the fact that the blastomycoticness and the light-dutiness happens does not hold. sent5: that the percolation and the scoffing logarithm happens is incorrect. sent6: the bloodbath does not occur. sent7: if the fact that the blastomycoticness occurs and the light-dutiness occurs is false the aphoristicness does not occur.
void -> assump2: Let's assume that the reducibleness occurs.; sent3 & assump2 -> int1: the exalting undergarment happens.; void -> assump1: Let's assume that the scoffing Medicaid happens.; int1 & assump1 -> int2: the exalting undergarment occurs and the scoffing Medicaid happens.; int2 & sent1 -> int3: the mounting does not occur.; sent7 & sent4 -> int4: the aphoristicness does not occur.; sent2 & int4 -> int5: the burglariousness happens and the mounting occurs.; int5 -> int6: the mount occurs.; int3 & int6 -> int7: this is contradiction.; [assump2] & int7 -> int8: the fact that the reducibleness does not occur is not false.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the reducibleness does not occur if the scoffing Medicaid happens. ; $context$ = sent1: the mounting does not occur if both the exalting undergarment and the scoffing Medicaid occurs. sent2: the burglariousness occurs and the mount occurs if the aphoristicness does not occur. sent3: that the reducibleness occurs triggers that the exalting undergarment happens. sent4: the fact that the blastomycoticness and the light-dutiness happens does not hold. sent5: that the percolation and the scoffing logarithm happens is incorrect. sent6: the bloodbath does not occur. sent7: if the fact that the blastomycoticness occurs and the light-dutiness occurs is false the aphoristicness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the reducibleness occurs.; sent3 & assump2 -> int1: the exalting undergarment happens.; void -> assump1: Let's assume that the scoffing Medicaid happens.; int1 & assump1 -> int2: the exalting undergarment occurs and the scoffing Medicaid happens.; int2 & sent1 -> int3: the mounting does not occur.; sent7 & sent4 -> int4: the aphoristicness does not occur.; sent2 & int4 -> int5: the burglariousness happens and the mounting occurs.; int5 -> int6: the mount occurs.; int3 & int6 -> int7: this is contradiction.; [assump2] & int7 -> int8: the fact that the reducibleness does not occur is not false.; [assump1] & int8 -> hypothesis; __PROVED__