the patriarch does not broadcast and resets communist.
sent1: the patriarch does not broadcast. sent2: if there exists something such that it does not divert and is a quibble then that the trochlear is not a kind of a shuttlecock does not hold. sent3: the crap does not letter matron if it brushes or it is a Perth or both. sent4: the fact that something is not a broadcast but it resets communist is not correct if it does not shuttlecock. sent5: if something is not a seer then that it is not a Perth and it does not letter matron is incorrect. sent6: there are pantheist things. sent7: the scum is evangelistic if it is conspiratorial. sent8: something does not divert. sent9: the trochlear does shuttlecock if something does divert and is a quibble. sent10: the trochlear is a shuttlecock and/or it is bivalent if that the crap is not pantheist is not false. sent11: the regnellidium is a pantheist but it is not a kind of a brush if the fact that it is a Perth is not wrong. sent12: if the fact that the communist is not a Perth and it does not letter matron is wrong then the regnellidium is a Perth. sent13: the patriarch does not broadcast and does reset communist if the crap does not letter matron. sent14: the crap is not a kind of a pantheist if the regnellidium is a pantheist but it is not a brush. sent15: if the trochlear is a kind of a shuttlecock then it is a pantheist. sent16: the trochlear is bivalent. sent17: the fact that something does not divert but it quibbles hold. sent18: if there exists something such that it is a kind of a pantheist and is bivalent the crap is a brush.
sent17 & sent2 -> int1: the trochlear is a kind of a shuttlecock.; int1 & sent15 -> int2: the trochlear is a kind of a pantheist.; int2 & sent16 -> int3: the trochlear is pantheist and bivalent.; int3 -> int4: something is a kind of a pantheist and it is bivalent.; int4 & sent18 -> int5: the crap brushes.; int5 -> int6: either the crap does brush or it is a kind of a Perth or both.; int6 & sent3 -> int7: the fact that the crap does not letter matron is correct.; int7 & sent13 -> hypothesis;
the fact that the fact that the patriarch is not a broadcast but it resets communist is not true is not false.
sent4 -> int8: the fact that the patriarch does not broadcast and resets communist is not true if it does not shuttlecock.; sent5 -> int9: the fact that the communist is not a Perth and it does not letter matron is incorrect if it is not a seer.;
$hypothesis$ = the patriarch does not broadcast and resets communist. ; $context$ = sent1: the patriarch does not broadcast. sent2: if there exists something such that it does not divert and is a quibble then that the trochlear is not a kind of a shuttlecock does not hold. sent3: the crap does not letter matron if it brushes or it is a Perth or both. sent4: the fact that something is not a broadcast but it resets communist is not correct if it does not shuttlecock. sent5: if something is not a seer then that it is not a Perth and it does not letter matron is incorrect. sent6: there are pantheist things. sent7: the scum is evangelistic if it is conspiratorial. sent8: something does not divert. sent9: the trochlear does shuttlecock if something does divert and is a quibble. sent10: the trochlear is a shuttlecock and/or it is bivalent if that the crap is not pantheist is not false. sent11: the regnellidium is a pantheist but it is not a kind of a brush if the fact that it is a Perth is not wrong. sent12: if the fact that the communist is not a Perth and it does not letter matron is wrong then the regnellidium is a Perth. sent13: the patriarch does not broadcast and does reset communist if the crap does not letter matron. sent14: the crap is not a kind of a pantheist if the regnellidium is a pantheist but it is not a brush. sent15: if the trochlear is a kind of a shuttlecock then it is a pantheist. sent16: the trochlear is bivalent. sent17: the fact that something does not divert but it quibbles hold. sent18: if there exists something such that it is a kind of a pantheist and is bivalent the crap is a brush. ; $proof$ = 
sent17 & sent2 -> int1: the trochlear is a kind of a shuttlecock.; int1 & sent15 -> int2: the trochlear is a kind of a pantheist.; int2 & sent16 -> int3: the trochlear is pantheist and bivalent.; int3 -> int4: something is a kind of a pantheist and it is bivalent.; int4 & sent18 -> int5: the crap brushes.; int5 -> int6: either the crap does brush or it is a kind of a Perth or both.; int6 & sent3 -> int7: the fact that the crap does not letter matron is correct.; int7 & sent13 -> hypothesis; __PROVED__