the fact that the jig is a cystocele and/or is not a kind of a trump does not hold.
sent1: the fact that the jig is not a cystocele is correct if it is manly. sent2: if the amaretto whirls tot it is more. sent3: something is not more if it is not bardic and it is not manly. sent4: there exists something such that it does not whirl cartage and it is nonslippery. sent5: if something does not whirl cartage and is nonslippery the jig whirls tot. sent6: something that does whirl tot is more. sent7: there exists something such that it does not whirl cartage. sent8: something does whirl tot and is manly if it is not a kind of a cystocele. sent9: something is not a cystocele if it is not unmanly. sent10: that something is a kind of a cystocele and/or it is not a trump does not hold if it is manly. sent11: the segregator is viatical and/or sparkles mantle. sent12: if the mantle is a kind of a Kimberley then that it does whirl c-note and/or it is not a cystocele does not hold. sent13: that something does whirl cartage and is nonslippery hold. sent14: the chromium is not bardic and it is not manly if it is stingless. sent15: something is manly if it is more. sent16: there exists something such that the fact that it is nonslippery hold.
sent4 & sent5 -> int1: the jig does whirl tot.; sent6 -> int2: if the jig does whirl tot then it is more.; int1 & int2 -> int3: the jig is more.; sent15 -> int4: if the jig is more then the fact that it is manly is not incorrect.; int3 & int4 -> int5: the jig is manly.; sent10 -> int6: if the jig is manly then the fact that it is a kind of a cystocele and/or is not a kind of a trump is false.; int5 & int6 -> hypothesis;
the fact that either the jig is a kind of a cystocele or it is not a trump or both hold.
sent3 -> int7: if the chromium is not bardic and it is not manly it is not more.;
$hypothesis$ = the fact that the jig is a cystocele and/or is not a kind of a trump does not hold. ; $context$ = sent1: the fact that the jig is not a cystocele is correct if it is manly. sent2: if the amaretto whirls tot it is more. sent3: something is not more if it is not bardic and it is not manly. sent4: there exists something such that it does not whirl cartage and it is nonslippery. sent5: if something does not whirl cartage and is nonslippery the jig whirls tot. sent6: something that does whirl tot is more. sent7: there exists something such that it does not whirl cartage. sent8: something does whirl tot and is manly if it is not a kind of a cystocele. sent9: something is not a cystocele if it is not unmanly. sent10: that something is a kind of a cystocele and/or it is not a trump does not hold if it is manly. sent11: the segregator is viatical and/or sparkles mantle. sent12: if the mantle is a kind of a Kimberley then that it does whirl c-note and/or it is not a cystocele does not hold. sent13: that something does whirl cartage and is nonslippery hold. sent14: the chromium is not bardic and it is not manly if it is stingless. sent15: something is manly if it is more. sent16: there exists something such that the fact that it is nonslippery hold. ; $proof$ = 
sent4 & sent5 -> int1: the jig does whirl tot.; sent6 -> int2: if the jig does whirl tot then it is more.; int1 & int2 -> int3: the jig is more.; sent15 -> int4: if the jig is more then the fact that it is manly is not incorrect.; int3 & int4 -> int5: the jig is manly.; sent10 -> int6: if the jig is manly then the fact that it is a kind of a cystocele and/or is not a kind of a trump is false.; int5 & int6 -> hypothesis; __PROVED__