the fact that the yielding occurs if the cupricness occurs is false.
sent1: if the Merovingianness does not occur then the relapsing does not occur. sent2: the organizing misdemeanor is prevented by that the organizing pinger but not the coordinate occurs. sent3: the hopper does not occur. sent4: that the shove happens triggers that the organizing instrumentation happens. sent5: if the fact that not the hopper but the shove happens is false then the Merovingianness does not occur. sent6: that the nickeling Crete occurs hold. sent7: the coordinate does not occur. sent8: the organizing pinger happens. sent9: that the hopper and the shoving happens is wrong. sent10: not the mismanaging rubbish but the organizing Willis happens. sent11: the inaudibleness does not occur. sent12: if the organizing misdemeanor does not occur then the harmonizing but not the Dorianness occurs. sent13: that not the secretaryship but the freckling Endecott occurs results in that the agribusiness occurs. sent14: that both the non-cupricness and the yielding occurs is not right if the ESM happens. sent15: that the Kwanzaa does not occur and the jet happens leads to the organizing Willis. sent16: that the hopper happens leads to that the Merovingian does not occur. sent17: that the relapsing does not occur and the cupricness occurs yields that the yielding happens. sent18: if the harmonizing happens the ESM occurs. sent19: the fact that not the rejuvenation but the avoidance occurs does not hold. sent20: the organizing instrumentation does not occur.
void -> assump2: Let's assume that not the hopper but the shove occurs.; assump2 -> int1: the shoving happens.; int1 & sent4 -> int2: the organizing instrumentation happens.; int2 & sent20 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the hopper does not occur and the shoving occurs is wrong.; int4 & sent5 -> int5: the Merovingian does not occur.; int5 & sent1 -> int6: the relapsing does not occur.; void -> assump1: Let's assume that the cupricness occurs.; int6 & assump1 -> int7: not the relapsing but the cupricness happens.; int7 & sent17 -> int8: the yielding occurs.; [assump1] & int8 -> hypothesis;
the grapevine happens.
sent8 & sent7 -> int9: the organizing pinger but not the coordinating occurs.; sent2 & int9 -> int10: the organizing misdemeanor does not occur.; sent12 & int10 -> int11: both the harmonizing and the non-Dorianness occurs.; int11 -> int12: the harmonizing happens.; sent18 & int12 -> int13: the ESM occurs.; sent14 & int13 -> int14: the fact that the non-cupricness and the yielding happens is not correct.;
$hypothesis$ = the fact that the yielding occurs if the cupricness occurs is false. ; $context$ = sent1: if the Merovingianness does not occur then the relapsing does not occur. sent2: the organizing misdemeanor is prevented by that the organizing pinger but not the coordinate occurs. sent3: the hopper does not occur. sent4: that the shove happens triggers that the organizing instrumentation happens. sent5: if the fact that not the hopper but the shove happens is false then the Merovingianness does not occur. sent6: that the nickeling Crete occurs hold. sent7: the coordinate does not occur. sent8: the organizing pinger happens. sent9: that the hopper and the shoving happens is wrong. sent10: not the mismanaging rubbish but the organizing Willis happens. sent11: the inaudibleness does not occur. sent12: if the organizing misdemeanor does not occur then the harmonizing but not the Dorianness occurs. sent13: that not the secretaryship but the freckling Endecott occurs results in that the agribusiness occurs. sent14: that both the non-cupricness and the yielding occurs is not right if the ESM happens. sent15: that the Kwanzaa does not occur and the jet happens leads to the organizing Willis. sent16: that the hopper happens leads to that the Merovingian does not occur. sent17: that the relapsing does not occur and the cupricness occurs yields that the yielding happens. sent18: if the harmonizing happens the ESM occurs. sent19: the fact that not the rejuvenation but the avoidance occurs does not hold. sent20: the organizing instrumentation does not occur. ; $proof$ = 
void -> assump2: Let's assume that not the hopper but the shove occurs.; assump2 -> int1: the shoving happens.; int1 & sent4 -> int2: the organizing instrumentation happens.; int2 & sent20 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the hopper does not occur and the shoving occurs is wrong.; int4 & sent5 -> int5: the Merovingian does not occur.; int5 & sent1 -> int6: the relapsing does not occur.; void -> assump1: Let's assume that the cupricness occurs.; int6 & assump1 -> int7: not the relapsing but the cupricness happens.; int7 & sent17 -> int8: the yielding occurs.; [assump1] & int8 -> hypothesis; __DISPROVED__