that the antimony is not a Ugandan or does not expiate or both is not correct.
sent1: if the seahorse is not a guard but interlinear then it is not loopy. sent2: the seahorse is not monozygotic. sent3: the antimony is not a Ugandan and/or it does not expiate if the fact that the nephron does not expiate is not false. sent4: the teletypewriter welds teletypewriter but it is not a kind of a Villa if the graverobber is dural. sent5: if the seahorse is not interlinear then either the pout does not destain graverobber or it is interlinear or both. sent6: if the seahorse is not baboonish then the antimony is dural and it is loopy. sent7: something is both baboonish and not loopy if the fact that it does not destain graverobber hold. sent8: the fact that the pout is baboonish and it is loopy does not hold if the seahorse is not loopy. sent9: the fact that the pout is both baboonish and not loopy does not hold if the seahorse is not loopy. sent10: the nephron does not expiate if the teletypewriter does weld teletypewriter but it is not a kind of a Villa. sent11: the teletypewriter is not a Villa. sent12: the graverobber is dural if the seahorse does guard. sent13: the pout does not destain IWW and does not destain graverobber. sent14: the pout is not baboonish and/or it is not a Ugandan. sent15: the antimony is a Ugandan and/or it does not expiate. sent16: if that the seahorse is both not a guard and not non-interlinear is not correct the fact that the graverobber is dural is correct. sent17: that something is non-Ugandan and/or it does not expiate is wrong if it is dural. sent18: the teletypewriter is not loopy if that it does not weld teletypewriter hold. sent19: the teletypewriter does expiate if that the seahorse is non-loopy but it is a Villa is not correct. sent20: that the teletypewriter destains IWW but it is not a Villa is not correct.
void -> assump1: Let's assume that the seahorse is not a kind of a guard but it is not non-interlinear.; sent1 & assump1 -> int1: the seahorse is not loopy.; int1 & sent9 -> int2: the fact that the pout is baboonish but it is not loopy is wrong.; sent7 -> int3: if the pout does not destain graverobber then it is not non-baboonish and it is non-loopy.; sent13 -> int4: the pout does not destain graverobber.; int3 & int4 -> int5: the pout is baboonish but not loopy.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the seahorse is not a guard but it is interlinear is not correct.; int7 & sent16 -> int8: the graverobber is dural.; int8 & sent4 -> int9: the teletypewriter welds teletypewriter but it is not a Villa.; int9 & sent10 -> int10: the nephron does not expiate.; int10 & sent3 -> hypothesis;
that the antimony is not Ugandan and/or it does not expiate does not hold.
sent17 -> int11: the fact that the antimony is not a Ugandan or it does not expiate or both is false if it is dural.;
$hypothesis$ = that the antimony is not a Ugandan or does not expiate or both is not correct. ; $context$ = sent1: if the seahorse is not a guard but interlinear then it is not loopy. sent2: the seahorse is not monozygotic. sent3: the antimony is not a Ugandan and/or it does not expiate if the fact that the nephron does not expiate is not false. sent4: the teletypewriter welds teletypewriter but it is not a kind of a Villa if the graverobber is dural. sent5: if the seahorse is not interlinear then either the pout does not destain graverobber or it is interlinear or both. sent6: if the seahorse is not baboonish then the antimony is dural and it is loopy. sent7: something is both baboonish and not loopy if the fact that it does not destain graverobber hold. sent8: the fact that the pout is baboonish and it is loopy does not hold if the seahorse is not loopy. sent9: the fact that the pout is both baboonish and not loopy does not hold if the seahorse is not loopy. sent10: the nephron does not expiate if the teletypewriter does weld teletypewriter but it is not a kind of a Villa. sent11: the teletypewriter is not a Villa. sent12: the graverobber is dural if the seahorse does guard. sent13: the pout does not destain IWW and does not destain graverobber. sent14: the pout is not baboonish and/or it is not a Ugandan. sent15: the antimony is a Ugandan and/or it does not expiate. sent16: if that the seahorse is both not a guard and not non-interlinear is not correct the fact that the graverobber is dural is correct. sent17: that something is non-Ugandan and/or it does not expiate is wrong if it is dural. sent18: the teletypewriter is not loopy if that it does not weld teletypewriter hold. sent19: the teletypewriter does expiate if that the seahorse is non-loopy but it is a Villa is not correct. sent20: that the teletypewriter destains IWW but it is not a Villa is not correct. ; $proof$ = 
void -> assump1: Let's assume that the seahorse is not a kind of a guard but it is not non-interlinear.; sent1 & assump1 -> int1: the seahorse is not loopy.; int1 & sent9 -> int2: the fact that the pout is baboonish but it is not loopy is wrong.; sent7 -> int3: if the pout does not destain graverobber then it is not non-baboonish and it is non-loopy.; sent13 -> int4: the pout does not destain graverobber.; int3 & int4 -> int5: the pout is baboonish but not loopy.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the seahorse is not a guard but it is interlinear is not correct.; int7 & sent16 -> int8: the graverobber is dural.; int8 & sent4 -> int9: the teletypewriter welds teletypewriter but it is not a Villa.; int9 & sent10 -> int10: the nephron does not expiate.; int10 & sent3 -> hypothesis; __DISPROVED__