the gherkin is not a broker-dealer.
sent1: the keep is not a foresail. sent2: if something does not lob guardsman it is a broker-dealer. sent3: if something is nondisposable then it does not suborn affecting and it does not ban Brownshirt. sent4: the keep does not lob sforzando if it is reproducible. sent5: the fact that the gherkin does lob Strepera but it does not suborn affecting is false if the keep does not suborn affecting. sent6: something is nondisposable if it is not a kind of a foresail and/or is not viatical. sent7: the desiccant bans Brownshirt and it lobs guardsman if it does not lob Strepera. sent8: something is a kind of a framing if it does not stopper. sent9: the keep either does not lob guardsman or suborns affecting or both. sent10: if that something does lob Strepera but it does not suborn affecting is false then it does not lob guardsman. sent11: the Miwok is not a kind of a broker-dealer. sent12: if the keep is not viatical then it is nondisposable. sent13: a nondisposable thing does not ban Brownshirt.
sent6 -> int1: the keep is nondisposable if it is not a foresail and/or it is not viatical.; sent1 -> int2: either the keep is not a foresail or it is not viatical or both.; int1 & int2 -> int3: the keep is nondisposable.; sent3 -> int4: if the fact that the keep is nondisposable is right it does not suborn affecting and does not ban Brownshirt.; int3 & int4 -> int5: the keep does not suborn affecting and does not ban Brownshirt.; int5 -> int6: the keep does not suborn affecting.; int6 & sent5 -> int7: that the gherkin does lob Strepera and does not suborn affecting is not correct.; sent10 -> int8: the gherkin does not lob guardsman if the fact that that it lobs Strepera and it does not suborn affecting is not wrong is not right.; int7 & int8 -> int9: the gherkin does not lob guardsman.; sent2 -> int10: if the fact that the gherkin does not lob guardsman hold it is a broker-dealer.; int9 & int10 -> hypothesis;
the gherkin is not a broker-dealer.
$hypothesis$ = the gherkin is not a broker-dealer. ; $context$ = sent1: the keep is not a foresail. sent2: if something does not lob guardsman it is a broker-dealer. sent3: if something is nondisposable then it does not suborn affecting and it does not ban Brownshirt. sent4: the keep does not lob sforzando if it is reproducible. sent5: the fact that the gherkin does lob Strepera but it does not suborn affecting is false if the keep does not suborn affecting. sent6: something is nondisposable if it is not a kind of a foresail and/or is not viatical. sent7: the desiccant bans Brownshirt and it lobs guardsman if it does not lob Strepera. sent8: something is a kind of a framing if it does not stopper. sent9: the keep either does not lob guardsman or suborns affecting or both. sent10: if that something does lob Strepera but it does not suborn affecting is false then it does not lob guardsman. sent11: the Miwok is not a kind of a broker-dealer. sent12: if the keep is not viatical then it is nondisposable. sent13: a nondisposable thing does not ban Brownshirt. ; $proof$ = 
sent6 -> int1: the keep is nondisposable if it is not a foresail and/or it is not viatical.; sent1 -> int2: either the keep is not a foresail or it is not viatical or both.; int1 & int2 -> int3: the keep is nondisposable.; sent3 -> int4: if the fact that the keep is nondisposable is right it does not suborn affecting and does not ban Brownshirt.; int3 & int4 -> int5: the keep does not suborn affecting and does not ban Brownshirt.; int5 -> int6: the keep does not suborn affecting.; int6 & sent5 -> int7: that the gherkin does lob Strepera and does not suborn affecting is not correct.; sent10 -> int8: the gherkin does not lob guardsman if the fact that that it lobs Strepera and it does not suborn affecting is not wrong is not right.; int7 & int8 -> int9: the gherkin does not lob guardsman.; sent2 -> int10: if the fact that the gherkin does not lob guardsman hold it is a broker-dealer.; int9 & int10 -> hypothesis; __DISPROVED__