that the clawing strangeness happens if the disbarment occurs is false.
sent1: the microeconomicness is triggered by that the disbarment does not occur and the aphasic does not occur. sent2: the microeconomicness occurs if the fact that the disbarment does not occur and the aphasic does not occur does not hold. sent3: the bunch does not occur and the exulting patty-pan does not occur. sent4: the Georgian happens if the submergence happens. sent5: the fact that the exterminating does not occur is not right. sent6: the reducing occurs. sent7: if the administration happens the upheaval occurs. sent8: the lie-in but not the archosaurianness occurs. sent9: the fact that not the disbarment but the aphasicness occurs is not true. sent10: the clawing discontentment happens. sent11: the corroding outsole occurs if the fact that the constructiveness but not the malversation happens is false. sent12: that the tiling occurs is false. sent13: the aphasicness does not occur. sent14: the disbarment but not the aphasicness occurs. sent15: if that the flaying does not occur and the vitreousness does not occur is not right then the Lusitanianness happens. sent16: the microeconomicness occurs if that the aphasic happens is not incorrect. sent17: the canonization does not occur. sent18: the renewal does not occur. sent19: the microeconomicness occurs if that both the disbarment and the non-aphasicness occurs is incorrect. sent20: the fact that the clawing strangeness occurs is not false if the microeconomicness occurs.
void -> assump2: Let's assume that the disbarment occurs.; void -> assump1: Let's assume that the disbarment does not occur and the aphasicness does not occur.; assump1 -> int1: the disbarment does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the disbarment does not occur and the aphasic does not occur does not hold.; sent2 & int3 -> int4: the microeconomicness occurs.; sent20 & int4 -> int5: the clawing strangeness happens.; [assump2] & int5 -> hypothesis;
$hypothesis$ = that the clawing strangeness happens if the disbarment occurs is false. ; $context$ = sent1: the microeconomicness is triggered by that the disbarment does not occur and the aphasic does not occur. sent2: the microeconomicness occurs if the fact that the disbarment does not occur and the aphasic does not occur does not hold. sent3: the bunch does not occur and the exulting patty-pan does not occur. sent4: the Georgian happens if the submergence happens. sent5: the fact that the exterminating does not occur is not right. sent6: the reducing occurs. sent7: if the administration happens the upheaval occurs. sent8: the lie-in but not the archosaurianness occurs. sent9: the fact that not the disbarment but the aphasicness occurs is not true. sent10: the clawing discontentment happens. sent11: the corroding outsole occurs if the fact that the constructiveness but not the malversation happens is false. sent12: that the tiling occurs is false. sent13: the aphasicness does not occur. sent14: the disbarment but not the aphasicness occurs. sent15: if that the flaying does not occur and the vitreousness does not occur is not right then the Lusitanianness happens. sent16: the microeconomicness occurs if that the aphasic happens is not incorrect. sent17: the canonization does not occur. sent18: the renewal does not occur. sent19: the microeconomicness occurs if that both the disbarment and the non-aphasicness occurs is incorrect. sent20: the fact that the clawing strangeness occurs is not false if the microeconomicness occurs. ; $proof$ = 
void -> assump2: Let's assume that the disbarment occurs.; void -> assump1: Let's assume that the disbarment does not occur and the aphasicness does not occur.; assump1 -> int1: the disbarment does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the disbarment does not occur and the aphasic does not occur does not hold.; sent2 & int3 -> int4: the microeconomicness occurs.; sent20 & int4 -> int5: the clawing strangeness happens.; [assump2] & int5 -> hypothesis; __DISPROVED__