that the sender is a kind of a Styx hold.
sent1: if the hope is corrupted the sender is not a dictostylium but it is a kind of an access. sent2: if something that is not a dictostylium is an access then it is not a kind of a Styx. sent3: there exists nothing such that it is a kind of an alkaloid and it is not an ugliness. sent4: if the hope is not a kind of an access then it does populate Prionotus. sent5: that the hope does populate Prionotus hold. sent6: there is something such that it does not populate Aeolus. sent7: the hope populates Prionotus and it is nebular if it is not an access. sent8: the fact that the amoralist is corrupted is not false. sent9: the sender is a Styx if that the hope is nebular hold. sent10: the hope corrupts if the drug is an ugliness. sent11: if something is a dictostylium then the hope is an access and it is a kind of a Styx. sent12: something is an ugliness and an alkaloid if it is not a kind of a sap. sent13: the sender does populate Prionotus. sent14: if the hope does access then the fact that the Evangelist is a kind of a counterpoint hold.
the sender is not a Styx.
sent2 -> int1: if the sender is not a dictostylium and is an access it is not a Styx.; sent12 -> int2: if the drug is not a kind of a sap then it is an ugliness and is an alkaloid.;
$hypothesis$ = that the sender is a kind of a Styx hold. ; $context$ = sent1: if the hope is corrupted the sender is not a dictostylium but it is a kind of an access. sent2: if something that is not a dictostylium is an access then it is not a kind of a Styx. sent3: there exists nothing such that it is a kind of an alkaloid and it is not an ugliness. sent4: if the hope is not a kind of an access then it does populate Prionotus. sent5: that the hope does populate Prionotus hold. sent6: there is something such that it does not populate Aeolus. sent7: the hope populates Prionotus and it is nebular if it is not an access. sent8: the fact that the amoralist is corrupted is not false. sent9: the sender is a Styx if that the hope is nebular hold. sent10: the hope corrupts if the drug is an ugliness. sent11: if something is a dictostylium then the hope is an access and it is a kind of a Styx. sent12: something is an ugliness and an alkaloid if it is not a kind of a sap. sent13: the sender does populate Prionotus. sent14: if the hope does access then the fact that the Evangelist is a kind of a counterpoint hold. ; $proof$ = 
__UNKNOWN__