the Mountie is nonarbitrary.
sent1: the groin edges descant. sent2: the rockfish is not arbitrary if the Mountie does not taper. sent3: the Mountie is agranulocytic if it does not edge latency. sent4: the minaret is a burrow if there is something such that the fact that it does edge ramekin and it is not a burrow is not true. sent5: something is a kind of a progressive if it is not a kind of a Mossad. sent6: the milldam tapers. sent7: something tapers if that it does not edge descant is right. sent8: there exists something such that that it is arbitrary and it does not edge ramekin is incorrect. sent9: the minaret is not bacteremic if the Mountie does edge ramekin and it is arbitrary. sent10: there exists something such that the fact that it edges descant and is arbitrary is false. sent11: the milldam does edge ramekin if there exists something such that the fact that it edges columniation and does not edge ramekin does not hold. sent12: if that the milldam is arbitrary is correct the Mountie edges ramekin. sent13: if there exists something such that it is arbitrary then the Mountie is arbitrary. sent14: the minaret is a burrow. sent15: there is something such that that it edges columniation and it does not edge ramekin is wrong. sent16: the rockfish does not edge descant if the fact that the minaret is not bacteremic is true. sent17: the milldam does not edge ramekin if the minaret is bacteremic thing that is a kind of a burrow. sent18: if the rockfish does taper the Mountie is arbitrary. sent19: the rockfish is not a Psidium. sent20: the minaret does not edge descant if the rockfish is not bacteremic.
void -> assump1: Let's assume that the minaret is bacteremic.; assump1 & sent14 -> int1: the minaret is a kind of bacteremic thing that does burrow.; int1 & sent17 -> int2: the milldam does not edge ramekin.; sent15 & sent11 -> int3: the milldam does edge ramekin.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the minaret is non-bacteremic.; int5 & sent16 -> int6: the rockfish does not edge descant.; sent7 -> int7: if that the rockfish does not edge descant is not false the fact that it tapers is not wrong.; int6 & int7 -> int8: the rockfish is a tapered.; int8 & sent18 -> hypothesis;
$hypothesis$ = the Mountie is nonarbitrary. ; $context$ = sent1: the groin edges descant. sent2: the rockfish is not arbitrary if the Mountie does not taper. sent3: the Mountie is agranulocytic if it does not edge latency. sent4: the minaret is a burrow if there is something such that the fact that it does edge ramekin and it is not a burrow is not true. sent5: something is a kind of a progressive if it is not a kind of a Mossad. sent6: the milldam tapers. sent7: something tapers if that it does not edge descant is right. sent8: there exists something such that that it is arbitrary and it does not edge ramekin is incorrect. sent9: the minaret is not bacteremic if the Mountie does edge ramekin and it is arbitrary. sent10: there exists something such that the fact that it edges descant and is arbitrary is false. sent11: the milldam does edge ramekin if there exists something such that the fact that it edges columniation and does not edge ramekin does not hold. sent12: if that the milldam is arbitrary is correct the Mountie edges ramekin. sent13: if there exists something such that it is arbitrary then the Mountie is arbitrary. sent14: the minaret is a burrow. sent15: there is something such that that it edges columniation and it does not edge ramekin is wrong. sent16: the rockfish does not edge descant if the fact that the minaret is not bacteremic is true. sent17: the milldam does not edge ramekin if the minaret is bacteremic thing that is a kind of a burrow. sent18: if the rockfish does taper the Mountie is arbitrary. sent19: the rockfish is not a Psidium. sent20: the minaret does not edge descant if the rockfish is not bacteremic. ; $proof$ = 
void -> assump1: Let's assume that the minaret is bacteremic.; assump1 & sent14 -> int1: the minaret is a kind of bacteremic thing that does burrow.; int1 & sent17 -> int2: the milldam does not edge ramekin.; sent15 & sent11 -> int3: the milldam does edge ramekin.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the minaret is non-bacteremic.; int5 & sent16 -> int6: the rockfish does not edge descant.; sent7 -> int7: if that the rockfish does not edge descant is not false the fact that it tapers is not wrong.; int6 & int7 -> int8: the rockfish is a tapered.; int8 & sent18 -> hypothesis; __DISPROVED__