that the mercer is a piaster and/or it is cross-sentential does not hold.
sent1: that the clover is not boric and is not a rational is not right. sent2: if the mercer is not a rational that it is a piaster or is cross-sentential or both does not hold. sent3: the hardtop is not rational if the mercer is not a piaster. sent4: if the hardtop is geological then it is a kind of a rudderpost that is not cross-sentential. sent5: the mercer is boric and it does bargain soundboard if there exists something such that it is a kind of a rudderpost. sent6: the hardtop is a yaw. sent7: the hardtop is geological if it is a kind of a yaw. sent8: the hardtop is a kind of a rudderpost. sent9: if the hardtop does bargain soundboard the fact that the clover is not a rudderpost and is not boric is not right. sent10: the hardtop bargains soundboard if it is not a rational. sent11: the clover is both not a rudderpost and not boric.
void -> assump1: Let's assume that the mercer is not a piaster.; sent3 & assump1 -> int1: the hardtop is not a rational.; int1 & sent10 -> int2: the hardtop does bargain soundboard.; int2 & sent9 -> int3: the fact that the clover is both not a rudderpost and not boric does not hold.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mercer is a piaster.; int5 -> hypothesis;
the fact that the mercer is a piaster and/or it is cross-sentential is wrong.
$hypothesis$ = that the mercer is a piaster and/or it is cross-sentential does not hold. ; $context$ = sent1: that the clover is not boric and is not a rational is not right. sent2: if the mercer is not a rational that it is a piaster or is cross-sentential or both does not hold. sent3: the hardtop is not rational if the mercer is not a piaster. sent4: if the hardtop is geological then it is a kind of a rudderpost that is not cross-sentential. sent5: the mercer is boric and it does bargain soundboard if there exists something such that it is a kind of a rudderpost. sent6: the hardtop is a yaw. sent7: the hardtop is geological if it is a kind of a yaw. sent8: the hardtop is a kind of a rudderpost. sent9: if the hardtop does bargain soundboard the fact that the clover is not a rudderpost and is not boric is not right. sent10: the hardtop bargains soundboard if it is not a rational. sent11: the clover is both not a rudderpost and not boric. ; $proof$ = 
void -> assump1: Let's assume that the mercer is not a piaster.; sent3 & assump1 -> int1: the hardtop is not a rational.; int1 & sent10 -> int2: the hardtop does bargain soundboard.; int2 & sent9 -> int3: the fact that the clover is both not a rudderpost and not boric does not hold.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mercer is a piaster.; int5 -> hypothesis; __DISPROVED__