the marmot is faithful if the leptocephalus is non-equestrian and a jurisdiction.
sent1: something is not equestrian and not fungoid if it is not a kind of a mortician. sent2: something is not a selfsameness but non-antemortem if it is not a jurisdiction. sent3: the leptocephalus is not equestrian. sent4: if something is not a kind of a selfsameness it is not fungoid. sent5: the leptocephalus is a jurisdiction. sent6: the leptocephalus is antemortem. sent7: if the crumb is not antemortem but a selfsameness then it is a mortician. sent8: the marmot is a mortician if the crumb is non-antemortem. sent9: if the marmot is elegant but it is a mortician then that it is not unfaithful is not incorrect. sent10: if something is not a kind of a selfsameness it is not fungoid and is not antemortem. sent11: the crumb is not antemortem if it is faithful and it is inelegant. sent12: if the leptocephalus is not equestrian but it is a jurisdiction the crumb is not a selfsameness. sent13: the marmot is not fungoid if the crumb is a mortician and is unfaithful.
void -> assump1: Let's assume that the leptocephalus is not equestrian but it is a jurisdiction.; sent12 & assump1 -> int1: the crumb is not a selfsameness.; sent10 -> int2: if the crumb is not a selfsameness then it is not fungoid and it is not antemortem.; int1 & int2 -> int3: the crumb is not fungoid and is not antemortem.; int3 -> int4: the crumb is not antemortem.;
$hypothesis$ = the marmot is faithful if the leptocephalus is non-equestrian and a jurisdiction. ; $context$ = sent1: something is not equestrian and not fungoid if it is not a kind of a mortician. sent2: something is not a selfsameness but non-antemortem if it is not a jurisdiction. sent3: the leptocephalus is not equestrian. sent4: if something is not a kind of a selfsameness it is not fungoid. sent5: the leptocephalus is a jurisdiction. sent6: the leptocephalus is antemortem. sent7: if the crumb is not antemortem but a selfsameness then it is a mortician. sent8: the marmot is a mortician if the crumb is non-antemortem. sent9: if the marmot is elegant but it is a mortician then that it is not unfaithful is not incorrect. sent10: if something is not a kind of a selfsameness it is not fungoid and is not antemortem. sent11: the crumb is not antemortem if it is faithful and it is inelegant. sent12: if the leptocephalus is not equestrian but it is a jurisdiction the crumb is not a selfsameness. sent13: the marmot is not fungoid if the crumb is a mortician and is unfaithful. ; $proof$ = 
void -> assump1: Let's assume that the leptocephalus is not equestrian but it is a jurisdiction.; sent12 & assump1 -> int1: the crumb is not a selfsameness.; sent10 -> int2: if the crumb is not a selfsameness then it is not fungoid and it is not antemortem.; int1 & int2 -> int3: the crumb is not fungoid and is not antemortem.; int3 -> int4: the crumb is not antemortem.; __UNKNOWN__