the rennin untwines.
sent1: the prostitute is not a powerbroker if it is not a symposium and it does not approbate lecherousness. sent2: the prostitute is not a symposium and does not approbate lecherousness. sent3: the prostitute does not approbate lecherousness. sent4: if the bisexual does underquote rennin the rennin does untwine. sent5: the preemie is ecclesiastical thing that is a powerbroker if the prostitute is not a kind of a powerbroker. sent6: if the preemie is ecclesiastical the fact that the bisexual underquotes rennin is true. sent7: if the prostitute is not a symposium and approbates lecherousness it is not a powerbroker. sent8: if something is not a kind of a powerbroker then it does not untwine and it does not underquote rennin. sent9: something is a powerbroker if it is not ecclesiastical.
sent1 & sent2 -> int1: the prostitute is not a kind of a powerbroker.; sent5 & int1 -> int2: the preemie is both ecclesiastical and a powerbroker.; int2 -> int3: the preemie is ecclesiastical.; sent6 & int3 -> int4: that the bisexual does underquote rennin is not incorrect.; sent4 & int4 -> hypothesis;
the rennin is a symposium.
sent9 -> int5: if the prostitute is not ecclesiastical that it is a kind of a powerbroker is not incorrect.;
$hypothesis$ = the rennin untwines. ; $context$ = sent1: the prostitute is not a powerbroker if it is not a symposium and it does not approbate lecherousness. sent2: the prostitute is not a symposium and does not approbate lecherousness. sent3: the prostitute does not approbate lecherousness. sent4: if the bisexual does underquote rennin the rennin does untwine. sent5: the preemie is ecclesiastical thing that is a powerbroker if the prostitute is not a kind of a powerbroker. sent6: if the preemie is ecclesiastical the fact that the bisexual underquotes rennin is true. sent7: if the prostitute is not a symposium and approbates lecherousness it is not a powerbroker. sent8: if something is not a kind of a powerbroker then it does not untwine and it does not underquote rennin. sent9: something is a powerbroker if it is not ecclesiastical. ; $proof$ = 
sent1 & sent2 -> int1: the prostitute is not a kind of a powerbroker.; sent5 & int1 -> int2: the preemie is both ecclesiastical and a powerbroker.; int2 -> int3: the preemie is ecclesiastical.; sent6 & int3 -> int4: that the bisexual does underquote rennin is not incorrect.; sent4 & int4 -> hypothesis; __PROVED__