if the expanse is categorial then the filer is not a waterside.
sent1: there exists something such that it is a kind of a jiggermast. sent2: if the expanse is categorial the filer is a waterside. sent3: the filer does blackmail drawn if there is something such that it does blackmail drawn and/or it does blackmail Kama. sent4: there is something such that that it does mismarry and it is not a clip does not hold. sent5: the fact that the filer does not mismarry hold. sent6: something is a waterside. sent7: if something is a jiggermast and it is a kind of a waterside then the expanse is not categorial. sent8: there exists something such that that it does not mismarry and it does not clip is wrong. sent9: something does not mismarry and it is not a clip. sent10: if something is a kind of a jiggermast that is a waterside then the expanse is not non-categorial. sent11: the filer is not a partisan. sent12: something blackmails drawn or it blackmails Kama or both. sent13: that the filer is a jiggermast is not incorrect if there exists something such that it does mismarry.
void -> assump2: Let's assume that the fact that the expanse is categorial is not incorrect.;
there exists something such that it blackmails drawn and it bethinks expanse.
sent12 & sent3 -> int1: the filer blackmails drawn.;
$hypothesis$ = if the expanse is categorial then the filer is not a waterside. ; $context$ = sent1: there exists something such that it is a kind of a jiggermast. sent2: if the expanse is categorial the filer is a waterside. sent3: the filer does blackmail drawn if there is something such that it does blackmail drawn and/or it does blackmail Kama. sent4: there is something such that that it does mismarry and it is not a clip does not hold. sent5: the fact that the filer does not mismarry hold. sent6: something is a waterside. sent7: if something is a jiggermast and it is a kind of a waterside then the expanse is not categorial. sent8: there exists something such that that it does not mismarry and it does not clip is wrong. sent9: something does not mismarry and it is not a clip. sent10: if something is a kind of a jiggermast that is a waterside then the expanse is not non-categorial. sent11: the filer is not a partisan. sent12: something blackmails drawn or it blackmails Kama or both. sent13: that the filer is a jiggermast is not incorrect if there exists something such that it does mismarry. ; $proof$ = 
void -> assump2: Let's assume that the fact that the expanse is categorial is not incorrect.; __UNKNOWN__