the duplication is non-anestrous.
sent1: The fact that the Wilkinson does decrease misogamist is not true. sent2: if the laryngopharynx is not a kind of a cecum and/or it is a kind of a healthiness then the duplication is not non-mortuary. sent3: that something is a kind of a Foster is true. sent4: if the duplication is mortuary and is anestrous then it is not necrotic. sent5: the duplication is necrotic and/or it does decrease Wilkinson if there exists something such that it is a Thoth. sent6: the laryngopharynx decreases Wilkinson or is not a cecum or both. sent7: the fact that the misogamist does decrease Wilkinson is not true. sent8: if there is something such that it is a Foster then the laryngopharynx is not a kind of a cecum or it is a healthiness or both.
sent3 & sent8 -> int1: the laryngopharynx is not a cecum or it is a healthiness or both.; int1 & sent2 -> int2: the duplication is mortuary.; void -> assump1: Let's assume that the duplication is anestrous.; int2 & assump1 -> int3: the fact that the duplication is mortuary and it is anestrous is true.; int3 & sent4 -> int4: the duplication is not necrotic.; int4 -> int5: the duplication either is not necrotic or is not a kind of a Thoth or both.;
$hypothesis$ = the duplication is non-anestrous. ; $context$ = sent1: The fact that the Wilkinson does decrease misogamist is not true. sent2: if the laryngopharynx is not a kind of a cecum and/or it is a kind of a healthiness then the duplication is not non-mortuary. sent3: that something is a kind of a Foster is true. sent4: if the duplication is mortuary and is anestrous then it is not necrotic. sent5: the duplication is necrotic and/or it does decrease Wilkinson if there exists something such that it is a Thoth. sent6: the laryngopharynx decreases Wilkinson or is not a cecum or both. sent7: the fact that the misogamist does decrease Wilkinson is not true. sent8: if there is something such that it is a Foster then the laryngopharynx is not a kind of a cecum or it is a healthiness or both. ; $proof$ = 
sent3 & sent8 -> int1: the laryngopharynx is not a cecum or it is a healthiness or both.; int1 & sent2 -> int2: the duplication is mortuary.; void -> assump1: Let's assume that the duplication is anestrous.; int2 & assump1 -> int3: the fact that the duplication is mortuary and it is anestrous is true.; int3 & sent4 -> int4: the duplication is not necrotic.; int4 -> int5: the duplication either is not necrotic or is not a kind of a Thoth or both.; __UNKNOWN__