the junction is a discipleship.
sent1: if that the doyenne is a binomial or it does not peruse Iresine or both does not hold the junction is not a ironwork. sent2: the fact that something is a discipleship if it is a binomial is not incorrect. sent3: if the fact that that the doyenne is not a ironwork or it is not a kind of a discipleship or both hold does not hold the junction is not a discipleship. sent4: something does peruse Iresine if that it is not a supertitle is false. sent5: the usher is a kind of a craze. sent6: everything is not fraternal. sent7: the junction is not non-binomial if there is something such that it is a ironwork. sent8: the junction is a binomial if there exists something such that it is a kind of a ironwork or it does peruse Iresine or both. sent9: if something is not fraternal the fact that it does not craze and does not peruse Zygocactus is wrong. sent10: something is a kind of a craze if that it is not a craze and does not peruse Zygocactus is false.
sent4 -> int1: if the usher is a supertitle then it does peruse Iresine.; sent2 -> int2: the junction is a discipleship if it is a kind of a binomial.;
something is a Odysseus and/or it briefs fuse.
$hypothesis$ = the junction is a discipleship. ; $context$ = sent1: if that the doyenne is a binomial or it does not peruse Iresine or both does not hold the junction is not a ironwork. sent2: the fact that something is a discipleship if it is a binomial is not incorrect. sent3: if the fact that that the doyenne is not a ironwork or it is not a kind of a discipleship or both hold does not hold the junction is not a discipleship. sent4: something does peruse Iresine if that it is not a supertitle is false. sent5: the usher is a kind of a craze. sent6: everything is not fraternal. sent7: the junction is not non-binomial if there is something such that it is a ironwork. sent8: the junction is a binomial if there exists something such that it is a kind of a ironwork or it does peruse Iresine or both. sent9: if something is not fraternal the fact that it does not craze and does not peruse Zygocactus is wrong. sent10: something is a kind of a craze if that it is not a craze and does not peruse Zygocactus is false. ; $proof$ = 
sent4 -> int1: if the usher is a supertitle then it does peruse Iresine.; sent2 -> int2: the junction is a discipleship if it is a kind of a binomial.; __UNKNOWN__