that the Carthaginian is both virile and offshore is not right.
sent1: if something is not irreversible then that it is virile and it is offshore is not true. sent2: something is not irreversible if it does ballast. sent3: the godparent does upgrade tunnel. sent4: if something is not dehiscent but it is a kind of a grounds then it is not a ballast. sent5: if the blenny does ballast then the clavicle is dehiscent. sent6: if the calanthe is non-ataxic or intertidal or both it is not virile. sent7: the blenny does not ballast. sent8: if the foolscap is not irreversible the clavicle is not a ballast. sent9: if that the clavicle is not a kind of a ballast hold the blenny is not a kind of a ballast but it grounds. sent10: the calanthe is irreversible. sent11: the blenny is not dehiscent if it is not a ballast and is a grounds. sent12: if something does not tinge enormity then it is not ataxic or is intertidal or both. sent13: the Carthaginian is offshore. sent14: the blenny is non-dehiscent thing that upgrades tunnel if the calanthe is not dehiscent. sent15: if the foolscap is irreversible the calanthe upgrades tunnel. sent16: the clavicle is virile. sent17: the clavicle does not upgrade tunnel and is a grounds if the calanthe is not virile. sent18: the blenny is dehiscent. sent19: the blenny is not a kind of a ballast if the clavicle is not a ballast. sent20: the blenny is not dehiscent if it is a kind of a ballast that is a grounds. sent21: a indehiscent thing is not a kind of a ballast and is irreversible. sent22: if the calanthe does upgrade tunnel then the Carthaginian is virile. sent23: the Carthaginian does upgrade tunnel. sent24: the calanthe does not tinge enormity. sent25: if the fact that the foolscap is not a kind of a ballast is not false the clavicle is not irreversible. sent26: the blenny is a prostate.
void -> assump1: Let's assume that the foolscap is not irreversible.; sent8 & assump1 -> int1: the clavicle is not a kind of a ballast.; int1 & sent9 -> int2: the blenny is both not a ballast and a grounds.; int2 & sent11 -> int3: the blenny is not dehiscent.; int3 & sent18 -> int4: this is contradiction.; [assump1] & int4 -> int5: the foolscap is irreversible.; int5 & sent15 -> int6: the calanthe upgrades tunnel.; int6 & sent22 -> int7: the Carthaginian is virile.; int7 & sent13 -> hypothesis;
the fact that the Carthaginian is virile and it is offshore does not hold.
sent4 -> int8: if the foolscap is not dehiscent but it is a grounds it is not a ballast.;
$hypothesis$ = that the Carthaginian is both virile and offshore is not right. ; $context$ = sent1: if something is not irreversible then that it is virile and it is offshore is not true. sent2: something is not irreversible if it does ballast. sent3: the godparent does upgrade tunnel. sent4: if something is not dehiscent but it is a kind of a grounds then it is not a ballast. sent5: if the blenny does ballast then the clavicle is dehiscent. sent6: if the calanthe is non-ataxic or intertidal or both it is not virile. sent7: the blenny does not ballast. sent8: if the foolscap is not irreversible the clavicle is not a ballast. sent9: if that the clavicle is not a kind of a ballast hold the blenny is not a kind of a ballast but it grounds. sent10: the calanthe is irreversible. sent11: the blenny is not dehiscent if it is not a ballast and is a grounds. sent12: if something does not tinge enormity then it is not ataxic or is intertidal or both. sent13: the Carthaginian is offshore. sent14: the blenny is non-dehiscent thing that upgrades tunnel if the calanthe is not dehiscent. sent15: if the foolscap is irreversible the calanthe upgrades tunnel. sent16: the clavicle is virile. sent17: the clavicle does not upgrade tunnel and is a grounds if the calanthe is not virile. sent18: the blenny is dehiscent. sent19: the blenny is not a kind of a ballast if the clavicle is not a ballast. sent20: the blenny is not dehiscent if it is a kind of a ballast that is a grounds. sent21: a indehiscent thing is not a kind of a ballast and is irreversible. sent22: if the calanthe does upgrade tunnel then the Carthaginian is virile. sent23: the Carthaginian does upgrade tunnel. sent24: the calanthe does not tinge enormity. sent25: if the fact that the foolscap is not a kind of a ballast is not false the clavicle is not irreversible. sent26: the blenny is a prostate. ; $proof$ = 
void -> assump1: Let's assume that the foolscap is not irreversible.; sent8 & assump1 -> int1: the clavicle is not a kind of a ballast.; int1 & sent9 -> int2: the blenny is both not a ballast and a grounds.; int2 & sent11 -> int3: the blenny is not dehiscent.; int3 & sent18 -> int4: this is contradiction.; [assump1] & int4 -> int5: the foolscap is irreversible.; int5 & sent15 -> int6: the calanthe upgrades tunnel.; int6 & sent22 -> int7: the Carthaginian is virile.; int7 & sent13 -> hypothesis; __DISPROVED__