the surety is a businesswoman.
sent1: something is not voluntary if that it is a unfavorableness and it is voluntary does not hold. sent2: something is not a kind of a duchess but it does impact oxheart if that it is not a kind of a voluntary is right. sent3: there exists something such that it is not a kind of a voluntary. sent4: the monopolist is voluntary and it is a kind of a unfavorableness. sent5: the surety is a kind of a businesswoman if something is not a kind of a voluntary but it activates Heloise. sent6: the jampot is not a kind of a voluntary and does activate Heloise if the fact that the monopolist is a voluntary is true.
sent4 -> int1: the monopolist is a voluntary.; sent6 & int1 -> int2: the jampot is not a voluntary but it activates Heloise.; int2 -> int3: there exists something such that it is not a voluntary and it activates Heloise.; int3 & sent5 -> hypothesis;
the surety is not a kind of a duchess and impacts oxheart.
sent2 -> int4: if the surety is not a kind of a voluntary it is not a duchess and it impacts oxheart.; sent1 -> int5: that that the surety is not voluntary is true if that the surety is a unfavorableness and it is a voluntary does not hold is right.;
$hypothesis$ = the surety is a businesswoman. ; $context$ = sent1: something is not voluntary if that it is a unfavorableness and it is voluntary does not hold. sent2: something is not a kind of a duchess but it does impact oxheart if that it is not a kind of a voluntary is right. sent3: there exists something such that it is not a kind of a voluntary. sent4: the monopolist is voluntary and it is a kind of a unfavorableness. sent5: the surety is a kind of a businesswoman if something is not a kind of a voluntary but it activates Heloise. sent6: the jampot is not a kind of a voluntary and does activate Heloise if the fact that the monopolist is a voluntary is true. ; $proof$ = 
sent4 -> int1: the monopolist is a voluntary.; sent6 & int1 -> int2: the jampot is not a voluntary but it activates Heloise.; int2 -> int3: there exists something such that it is not a voluntary and it activates Heloise.; int3 & sent5 -> hypothesis; __PROVED__