that both the adsorbentness and the spudding happens if the reprising mudcat does not occur does not hold.
sent1: both the aborticide and the browning occurs. sent2: the adsorbent and the ginning Frederick happens. sent3: the ginning Frederick occurs. sent4: the reprising mudcat leads to that the spud occurs. sent5: the hypovolemicness occurs. sent6: the spudding occurs if the reprising mudcat does not occur.
void -> assump1: Let's assume that the reprising mudcat does not occur.; sent6 & assump1 -> int1: the spudding happens.; sent2 -> int2: the adsorbent happens.; int1 & int2 -> int3: the adsorbent happens and the spud occurs.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that both the adsorbentness and the spudding happens if the reprising mudcat does not occur does not hold. ; $context$ = sent1: both the aborticide and the browning occurs. sent2: the adsorbent and the ginning Frederick happens. sent3: the ginning Frederick occurs. sent4: the reprising mudcat leads to that the spud occurs. sent5: the hypovolemicness occurs. sent6: the spudding occurs if the reprising mudcat does not occur. ; $proof$ = 
void -> assump1: Let's assume that the reprising mudcat does not occur.; sent6 & assump1 -> int1: the spudding happens.; sent2 -> int2: the adsorbent happens.; int1 & int2 -> int3: the adsorbent happens and the spud occurs.; [assump1] & int3 -> hypothesis; __DISPROVED__