the shipway is not a Leymus.
sent1: something is exportable a cohesion if it does not finalize Gjellerup. sent2: something is a cohesion but it does not uphold cut-in if it upholds comfortableness. sent3: the cloister is a Menshevik if something that is a berserker is a Leymus. sent4: if the nephrolith is unprofessional that it does crane furfural hold. sent5: the shipway is a berserker. sent6: if something is a kind of a Menshevik then it is a mammography and it is not a cohesion. sent7: the cloister is a kind of a Leymus. sent8: the fact that something is not a Leymus and is not a berserker is false if it is a Menshevik. sent9: the cloister is not derivational.
void -> assump1: Let's assume that the shipway is a Leymus.; sent5 & assump1 -> int1: the shipway is a berserker and it is a Leymus.; int1 -> int2: something is both a berserker and a Leymus.; int2 & sent3 -> int3: the cloister is a Menshevik.; sent6 -> int4: if the cloister is a Menshevik it is both a mammography and not a cohesion.; int3 & int4 -> int5: the cloister is a mammography and is not a kind of a cohesion.; int5 -> int6: the cloister is not a cohesion.; sent1 -> int7: the cloister is exportable and is a kind of a cohesion if it does not finalize Gjellerup.;
the orrery is a cohesion that does not uphold cut-in if it does uphold comfortableness.
sent2 -> hypothesis;
$hypothesis$ = the shipway is not a Leymus. ; $context$ = sent1: something is exportable a cohesion if it does not finalize Gjellerup. sent2: something is a cohesion but it does not uphold cut-in if it upholds comfortableness. sent3: the cloister is a Menshevik if something that is a berserker is a Leymus. sent4: if the nephrolith is unprofessional that it does crane furfural hold. sent5: the shipway is a berserker. sent6: if something is a kind of a Menshevik then it is a mammography and it is not a cohesion. sent7: the cloister is a kind of a Leymus. sent8: the fact that something is not a Leymus and is not a berserker is false if it is a Menshevik. sent9: the cloister is not derivational. ; $proof$ = 
void -> assump1: Let's assume that the shipway is a Leymus.; sent5 & assump1 -> int1: the shipway is a berserker and it is a Leymus.; int1 -> int2: something is both a berserker and a Leymus.; int2 & sent3 -> int3: the cloister is a Menshevik.; sent6 -> int4: if the cloister is a Menshevik it is both a mammography and not a cohesion.; int3 & int4 -> int5: the cloister is a mammography and is not a kind of a cohesion.; int5 -> int6: the cloister is not a cohesion.; sent1 -> int7: the cloister is exportable and is a kind of a cohesion if it does not finalize Gjellerup.; __UNKNOWN__