that the smoothbore does not stage resource and it does not eviscerate Acipenseridae is wrong.
sent1: if the ferritin does stage resource then the voucher is viricidal. sent2: if there is something such that it is a gap the fact that the beefwood is not a flagfish and fries card does not hold. sent3: the trailhead gaps and it does lather canine. sent4: if the ferritin is not menopausal it stages resource and eviscerates Acipenseridae. sent5: the fact that the ferritin is a conspecific and it is menopausal is not right. sent6: the smoothbore does not liberalize if the fact that that the beefwood is not a flagfish but it fries card is not incorrect is not true. sent7: if something that does eviscerate Acipenseridae does not stage resource then the smoothbore is not acervate. sent8: if that the ferritin is a kind of a conspecific and it is menopausal is false it is not viricidal. sent9: if that the fact that the voucher is gymnastics and/or it is not a kind of an archivist does not hold is not wrong then the mail is non-acervate. sent10: if the broad does not liberalize then it is not unprofitable and is a trochanter. sent11: the fact that something is gymnastics and/or is not an archivist is not correct if it is viricidal. sent12: the fact that the ferritin is not a kind of a conspecific and is not non-acervate is not correct. sent13: the ferritin is a kind of an archivist if the voucher is not non-gymnastics. sent14: if an archivist is not viricidal then the broad is not acervate. sent15: that the smoothbore does not stage resource and does not eviscerate Acipenseridae is incorrect if the voucher is not gymnastics. sent16: if the smoothbore does not liberalize then the broad does not liberalize. sent17: something does not stage resource and does not eviscerate Acipenseridae if it is gymnastics. sent18: if something is acervate that it is a kind of an archivist and it is not viricidal does not hold.
void -> assump1: Let's assume that the voucher is gymnastics.; sent13 & assump1 -> int1: the fact that the ferritin is a kind of an archivist is true.; sent8 & sent5 -> int2: the ferritin is not viricidal.; int1 & int2 -> int3: the ferritin is a kind of an archivist but it is not viricidal.; int3 -> int4: there is something such that it is an archivist and is not viricidal.; int4 & sent14 -> int5: the broad is not acervate.;
the mail is not acervate.
sent11 -> int6: if the fact that the voucher is viricidal is true the fact that it is gymnastics or it is not an archivist or both is incorrect.; sent3 -> int7: the trailhead is a gap.; int7 -> int8: something does gap.; int8 & sent2 -> int9: the fact that the fact that the beefwood is not a kind of a flagfish but it does fry card hold is incorrect.; sent6 & int9 -> int10: that the smoothbore does not liberalize hold.; sent16 & int10 -> int11: the broad does not liberalize.; sent10 & int11 -> int12: that the broad is not unprofitable and is a trochanter hold.; int12 -> int13: the broad is not unprofitable.; int13 -> int14: there is something such that it is not unprofitable.;
$hypothesis$ = that the smoothbore does not stage resource and it does not eviscerate Acipenseridae is wrong. ; $context$ = sent1: if the ferritin does stage resource then the voucher is viricidal. sent2: if there is something such that it is a gap the fact that the beefwood is not a flagfish and fries card does not hold. sent3: the trailhead gaps and it does lather canine. sent4: if the ferritin is not menopausal it stages resource and eviscerates Acipenseridae. sent5: the fact that the ferritin is a conspecific and it is menopausal is not right. sent6: the smoothbore does not liberalize if the fact that that the beefwood is not a flagfish but it fries card is not incorrect is not true. sent7: if something that does eviscerate Acipenseridae does not stage resource then the smoothbore is not acervate. sent8: if that the ferritin is a kind of a conspecific and it is menopausal is false it is not viricidal. sent9: if that the fact that the voucher is gymnastics and/or it is not a kind of an archivist does not hold is not wrong then the mail is non-acervate. sent10: if the broad does not liberalize then it is not unprofitable and is a trochanter. sent11: the fact that something is gymnastics and/or is not an archivist is not correct if it is viricidal. sent12: the fact that the ferritin is not a kind of a conspecific and is not non-acervate is not correct. sent13: the ferritin is a kind of an archivist if the voucher is not non-gymnastics. sent14: if an archivist is not viricidal then the broad is not acervate. sent15: that the smoothbore does not stage resource and does not eviscerate Acipenseridae is incorrect if the voucher is not gymnastics. sent16: if the smoothbore does not liberalize then the broad does not liberalize. sent17: something does not stage resource and does not eviscerate Acipenseridae if it is gymnastics. sent18: if something is acervate that it is a kind of an archivist and it is not viricidal does not hold. ; $proof$ = 
void -> assump1: Let's assume that the voucher is gymnastics.; sent13 & assump1 -> int1: the fact that the ferritin is a kind of an archivist is true.; sent8 & sent5 -> int2: the ferritin is not viricidal.; int1 & int2 -> int3: the ferritin is a kind of an archivist but it is not viricidal.; int3 -> int4: there is something such that it is an archivist and is not viricidal.; int4 & sent14 -> int5: the broad is not acervate.; __UNKNOWN__