the ledger is not consonantal.
sent1: something is a Borneo and it does rede grotesqueness if it is not a covenant. sent2: the popinjay does not rede trident if the fact that the shift does not rede trident and is adsorbent is wrong. sent3: something is commons. sent4: something is consonantal if it is not commons. sent5: if something is a moshav then the fact that the ledger is non-gymnosophical but it is consonantal is wrong. sent6: there is something such that it is isotropic. sent7: the fact that the shift does not rede trident and is a adsorbent is incorrect if the archeologist is a kind of a Borneo. sent8: the ledger is both Genoese and not non-epic if that it is not commons hold. sent9: the acaricide does rede trident. sent10: The trident does rede acaricide. sent11: the ledger is not gymnosophical if something that is commons is isotropic. sent12: if the acaricide is not commons and it is not isotropic then that the ledger is not commons is true. sent13: the armiger is not non-commons. sent14: the fact that the latex is not consonantal but it is a moshav is not correct if the popinjay does not rede trident. sent15: that the fact that something is both gymnosophical and non-isotropic is right is not true if it is a moshav. sent16: that the placebo is isotropic is right. sent17: if the acaricide does rede trident it is a kind of a moshav. sent18: the acaricide is both not commons and not isotropic if the latex is not gymnosophical.
void -> assump1: Let's assume that the ledger is consonantal.; sent17 & sent9 -> int1: the acaricide is a moshav.; int1 -> int2: something is a kind of a moshav.; int2 & sent5 -> int3: the fact that the ledger is not gymnosophical but consonantal does not hold.;
the ledger is consonantal.
sent4 -> int4: if the ledger is not commons it is consonantal.;
$hypothesis$ = the ledger is not consonantal. ; $context$ = sent1: something is a Borneo and it does rede grotesqueness if it is not a covenant. sent2: the popinjay does not rede trident if the fact that the shift does not rede trident and is adsorbent is wrong. sent3: something is commons. sent4: something is consonantal if it is not commons. sent5: if something is a moshav then the fact that the ledger is non-gymnosophical but it is consonantal is wrong. sent6: there is something such that it is isotropic. sent7: the fact that the shift does not rede trident and is a adsorbent is incorrect if the archeologist is a kind of a Borneo. sent8: the ledger is both Genoese and not non-epic if that it is not commons hold. sent9: the acaricide does rede trident. sent10: The trident does rede acaricide. sent11: the ledger is not gymnosophical if something that is commons is isotropic. sent12: if the acaricide is not commons and it is not isotropic then that the ledger is not commons is true. sent13: the armiger is not non-commons. sent14: the fact that the latex is not consonantal but it is a moshav is not correct if the popinjay does not rede trident. sent15: that the fact that something is both gymnosophical and non-isotropic is right is not true if it is a moshav. sent16: that the placebo is isotropic is right. sent17: if the acaricide does rede trident it is a kind of a moshav. sent18: the acaricide is both not commons and not isotropic if the latex is not gymnosophical. ; $proof$ = 
void -> assump1: Let's assume that the ledger is consonantal.; sent17 & sent9 -> int1: the acaricide is a moshav.; int1 -> int2: something is a kind of a moshav.; int2 & sent5 -> int3: the fact that the ledger is not gymnosophical but consonantal does not hold.; __UNKNOWN__