there exists something such that it is a bookbindery and coordinates Veblen.
sent1: the dicumarol does coordinate Veblen. sent2: the junkie is shallow-draft if the giardia is a rascality and/or it does not harshen manic-depressive. sent3: if the giardia is a backband it is a bookbindery. sent4: if something coordinates Veblen and is matutinal then it is not shallow-draft. sent5: the giardia is a backband and it is methodological. sent6: if the junkie is shallow-draft the fact that the dicumarol is a survivalist but it is not matutinal is not right. sent7: the fact that the giardia is not a bookbindery and is a kind of a survivalist is not true if the dicumarol is not shallow-draft. sent8: the giardia is methodological. sent9: if the manic-depressive is not a kind of a backband the dicumarol serenades abwatt and does coordinate Veblen. sent10: the dicumarol is a kind of a vaudevillian. sent11: the dicumarol is not matutinal if that it does serenade abwatt hold. sent12: the giardia coordinates Veblen if the fact that it is a rascality and/or it does not harshen manic-depressive is wrong. sent13: the dicumarol is a survivalist but it is not matutinal if it does serenade abwatt. sent14: there exists something such that it is not a vaudevillian and not non-methodological. sent15: the junkie is not a vaudevillian. sent16: the giardia is not a rascality.
void -> assump1: Let's assume that the giardia either is a rascality or does not harshen manic-depressive or both.; sent2 & assump1 -> int1: the junkie is shallow-draft.; int1 & sent6 -> int2: that the dicumarol is a survivalist and is not matutinal is false.; sent5 -> int3: the giardia is a kind of a backband.; sent3 & int3 -> int4: the giardia is a bookbindery.;
the junkie is a bookbindery.
sent4 -> int5: the dicumarol is not shallow-draft if it coordinates Veblen and it is matutinal.;
$hypothesis$ = there exists something such that it is a bookbindery and coordinates Veblen. ; $context$ = sent1: the dicumarol does coordinate Veblen. sent2: the junkie is shallow-draft if the giardia is a rascality and/or it does not harshen manic-depressive. sent3: if the giardia is a backband it is a bookbindery. sent4: if something coordinates Veblen and is matutinal then it is not shallow-draft. sent5: the giardia is a backband and it is methodological. sent6: if the junkie is shallow-draft the fact that the dicumarol is a survivalist but it is not matutinal is not right. sent7: the fact that the giardia is not a bookbindery and is a kind of a survivalist is not true if the dicumarol is not shallow-draft. sent8: the giardia is methodological. sent9: if the manic-depressive is not a kind of a backband the dicumarol serenades abwatt and does coordinate Veblen. sent10: the dicumarol is a kind of a vaudevillian. sent11: the dicumarol is not matutinal if that it does serenade abwatt hold. sent12: the giardia coordinates Veblen if the fact that it is a rascality and/or it does not harshen manic-depressive is wrong. sent13: the dicumarol is a survivalist but it is not matutinal if it does serenade abwatt. sent14: there exists something such that it is not a vaudevillian and not non-methodological. sent15: the junkie is not a vaudevillian. sent16: the giardia is not a rascality. ; $proof$ = 
void -> assump1: Let's assume that the giardia either is a rascality or does not harshen manic-depressive or both.; sent2 & assump1 -> int1: the junkie is shallow-draft.; int1 & sent6 -> int2: that the dicumarol is a survivalist and is not matutinal is false.; sent5 -> int3: the giardia is a kind of a backband.; sent3 & int3 -> int4: the giardia is a bookbindery.; __UNKNOWN__