that the megacolon is a Regulus and does overleap is not correct.
sent1: that the drydock is both a primness and a clam is not right. sent2: if there exists something such that it is a jewel then the inverter is not a clam. sent3: if the pachysandra is not a Regulus the megacolon is a kind of a Regulus that does overleap. sent4: something clams if it is a kind of a jewel. sent5: that the drydock is a primness but not a clam is incorrect if the inverter is not a clam. sent6: the coverall is not artifactual. sent7: the shiksa is a jewel if it is a dissenter. sent8: if the coverall is not a kind of a Regulus it is both a jewel and a dissenter. sent9: the coverall is non-artifactual thing that is muscular. sent10: if something is a clam that the megacolon is a Smyrnium but it is not a clam does not hold. sent11: if the coverall is not artifactual but it is muscular then that the shiksa is a dissenter hold. sent12: the pachysandra is not a Regulus if the drydock does clam. sent13: the drydock overleaps. sent14: that that the drydock is a kind of a primness that is a kind of a clam is true does not hold if the inverter does not clam. sent15: something is not a Regulus if that it is a primness and it is a Regulus is not correct. sent16: that something is a primness and is a Regulus is false if it does not overleap. sent17: if the fact that the drydock is a primness and is not a kind of a clam does not hold the pachysandra is not a Regulus.
sent11 & sent9 -> int1: the shiksa is a dissenter.; int1 & sent7 -> int2: the shiksa is a jewel.; int2 -> int3: there exists something such that it is a kind of a jewel.; int3 & sent2 -> int4: the inverter is not a clam.; int4 & sent5 -> int5: the fact that the drydock is a primness and is not a kind of a clam does not hold.; int5 & sent17 -> int6: the pachysandra is not a Regulus.; int6 & sent3 -> hypothesis;
the fact that the megacolon is a kind of a Smyrnium that is not a clam is not true.
sent16 -> int7: if the shiksa does not overleap then the fact that it is a primness and it is a Regulus is false.; sent15 -> int8: the coverall is not a Regulus if that it is a kind of a primness and is a kind of a Regulus is not right.; sent4 -> int9: if the coverall is a jewel then it clams.;
$hypothesis$ = that the megacolon is a Regulus and does overleap is not correct. ; $context$ = sent1: that the drydock is both a primness and a clam is not right. sent2: if there exists something such that it is a jewel then the inverter is not a clam. sent3: if the pachysandra is not a Regulus the megacolon is a kind of a Regulus that does overleap. sent4: something clams if it is a kind of a jewel. sent5: that the drydock is a primness but not a clam is incorrect if the inverter is not a clam. sent6: the coverall is not artifactual. sent7: the shiksa is a jewel if it is a dissenter. sent8: if the coverall is not a kind of a Regulus it is both a jewel and a dissenter. sent9: the coverall is non-artifactual thing that is muscular. sent10: if something is a clam that the megacolon is a Smyrnium but it is not a clam does not hold. sent11: if the coverall is not artifactual but it is muscular then that the shiksa is a dissenter hold. sent12: the pachysandra is not a Regulus if the drydock does clam. sent13: the drydock overleaps. sent14: that that the drydock is a kind of a primness that is a kind of a clam is true does not hold if the inverter does not clam. sent15: something is not a Regulus if that it is a primness and it is a Regulus is not correct. sent16: that something is a primness and is a Regulus is false if it does not overleap. sent17: if the fact that the drydock is a primness and is not a kind of a clam does not hold the pachysandra is not a Regulus. ; $proof$ = 
sent11 & sent9 -> int1: the shiksa is a dissenter.; int1 & sent7 -> int2: the shiksa is a jewel.; int2 -> int3: there exists something such that it is a kind of a jewel.; int3 & sent2 -> int4: the inverter is not a clam.; int4 & sent5 -> int5: the fact that the drydock is a primness and is not a kind of a clam does not hold.; int5 & sent17 -> int6: the pachysandra is not a Regulus.; int6 & sent3 -> hypothesis; __DISPROVED__