that the symmetry betters curtailment and/or it does not blur hold.
sent1: there exists something such that it is not a workmate. sent2: the esquire is not an explosive if it is a aphrodisia. sent3: the cytosol is not anaphasic and it is not apicultural. sent4: the cytosol is not a aphrodisia and not apicultural if it is faecal. sent5: the esquire is a aphrodisia. sent6: the stack corners Halevy. sent7: either the cytosol is faecal or it is an explosive or both. sent8: the cytosol is faecal. sent9: the esquire weeds mods if the stack is not anaphasic. sent10: if the symmetry is a blur then it is not faecal and is not a kind of an explosive. sent11: the symmetry is a aphrodisia. sent12: there is something such that it does not cloak and it is not a kind of a aphrodisia. sent13: if the fact that the symmetry is a blur is not incorrect it does not weed mods and is not apicultural. sent14: if there is something such that it does not corner Halevy and is not explosive the symmetry is not a blur. sent15: something does not corner Halevy and it is not an explosive if it does weed mods. sent16: if the stack does cloak the cytosol is a aphrodisia. sent17: the symmetry is both not explosive and not apicultural if it is a blur. sent18: the esquire is not faecal. sent19: the stack does not better curtailment. sent20: there is something such that it is not faecal and it does not corner Halevy. sent21: that the mods is explosive is correct.
void -> assump1: Let's assume that the stack is anaphasic.; sent4 & sent8 -> int1: the cytosol is not a aphrodisia and not apicultural.; int1 -> int2: the cytosol is not a aphrodisia.; sent15 -> int3: the esquire does not corner Halevy and it is not a kind of an explosive if it weeds mods.;
$hypothesis$ = that the symmetry betters curtailment and/or it does not blur hold. ; $context$ = sent1: there exists something such that it is not a workmate. sent2: the esquire is not an explosive if it is a aphrodisia. sent3: the cytosol is not anaphasic and it is not apicultural. sent4: the cytosol is not a aphrodisia and not apicultural if it is faecal. sent5: the esquire is a aphrodisia. sent6: the stack corners Halevy. sent7: either the cytosol is faecal or it is an explosive or both. sent8: the cytosol is faecal. sent9: the esquire weeds mods if the stack is not anaphasic. sent10: if the symmetry is a blur then it is not faecal and is not a kind of an explosive. sent11: the symmetry is a aphrodisia. sent12: there is something such that it does not cloak and it is not a kind of a aphrodisia. sent13: if the fact that the symmetry is a blur is not incorrect it does not weed mods and is not apicultural. sent14: if there is something such that it does not corner Halevy and is not explosive the symmetry is not a blur. sent15: something does not corner Halevy and it is not an explosive if it does weed mods. sent16: if the stack does cloak the cytosol is a aphrodisia. sent17: the symmetry is both not explosive and not apicultural if it is a blur. sent18: the esquire is not faecal. sent19: the stack does not better curtailment. sent20: there is something such that it is not faecal and it does not corner Halevy. sent21: that the mods is explosive is correct. ; $proof$ = 
void -> assump1: Let's assume that the stack is anaphasic.; sent4 & sent8 -> int1: the cytosol is not a aphrodisia and not apicultural.; int1 -> int2: the cytosol is not a aphrodisia.; sent15 -> int3: the esquire does not corner Halevy and it is not a kind of an explosive if it weeds mods.; __UNKNOWN__