that the fact that the Liverpudlian does not complect Lyginopteris or is not a longness or both is not right is true.
sent1: the fact that the Presbyterian does not image but it is a kind of a boldness is false if that it is tragicomic is correct. sent2: something is homonymic if it is macrocephalic. sent3: if the seckel is migratory it lambs pesthole. sent4: if the Liverpudlian does pronate the cultivar is a kind of a minnow. sent5: the Liverpudlian complects cultivar. sent6: the Presbyterian is tragicomic. sent7: something pronates if it is re-entrant. sent8: the fact that something is not re-entrant but it is leprous does not hold if it is homonymic. sent9: if the Liverpudlian does not complect Lyginopteris and/or is not a longness then it is not ribless. sent10: if something is duodenal it is macrocephalic. sent11: the Liverpudlian is duodenal if there exists something such that the fact that it is not an image and it is a kind of a boldness is incorrect. sent12: if the Liverpudlian is a traitress then it is ribless. sent13: something does not complect Lyginopteris if the fact that it complect Lyginopteris and it is a kind of a traitress does not hold. sent14: something is re-entrant if that it is not re-entrant and is leprous is not right. sent15: the katharobe is not a longness or a neomycin or both. sent16: if the Liverpudlian is not a Oxyuridae it is not a glass. sent17: if something is a kind of a minnow that it is not ribless and not a traitress is wrong. sent18: the Liverpudlian complects exposed if it is physicochemical.
void -> assump1: Let's assume that the Liverpudlian does not complect Lyginopteris and/or is not a longness.; sent9 & assump1 -> int1: the Liverpudlian is not ribless.;
the cultivar is not a longness.
sent17 -> int2: if the fact that the cultivar is a kind of a minnow hold then the fact that the fact that it is ribbed and it is not a kind of a traitress is true does not hold.; sent7 -> int3: the Liverpudlian pronates if it is re-entrant.; sent14 -> int4: if the fact that the Liverpudlian is not re-entrant but it is not non-leprous is not right it is re-entrant.; sent8 -> int5: if the Liverpudlian is homonymic then that it is not re-entrant and it is leprous is wrong.; sent2 -> int6: the Liverpudlian is homonymic if it is macrocephalic.; sent10 -> int7: if the Liverpudlian is duodenal it is macrocephalic.; sent1 & sent6 -> int8: the fact that the Presbyterian is not an image and is a kind of a boldness does not hold.; int8 -> int9: there exists something such that that it is not an image but a boldness is wrong.; int9 & sent11 -> int10: the Liverpudlian is duodenal.; int7 & int10 -> int11: the Liverpudlian is macrocephalic.; int6 & int11 -> int12: the Liverpudlian is homonymic.; int5 & int12 -> int13: the fact that the Liverpudlian is not re-entrant but it is leprous is false.; int4 & int13 -> int14: the Liverpudlian is re-entrant.; int3 & int14 -> int15: the Liverpudlian does pronate.; sent4 & int15 -> int16: that the cultivar is a kind of a minnow is not false.; int2 & int16 -> int17: the fact that the cultivar is both ribbed and not a traitress does not hold.;
$hypothesis$ = that the fact that the Liverpudlian does not complect Lyginopteris or is not a longness or both is not right is true. ; $context$ = sent1: the fact that the Presbyterian does not image but it is a kind of a boldness is false if that it is tragicomic is correct. sent2: something is homonymic if it is macrocephalic. sent3: if the seckel is migratory it lambs pesthole. sent4: if the Liverpudlian does pronate the cultivar is a kind of a minnow. sent5: the Liverpudlian complects cultivar. sent6: the Presbyterian is tragicomic. sent7: something pronates if it is re-entrant. sent8: the fact that something is not re-entrant but it is leprous does not hold if it is homonymic. sent9: if the Liverpudlian does not complect Lyginopteris and/or is not a longness then it is not ribless. sent10: if something is duodenal it is macrocephalic. sent11: the Liverpudlian is duodenal if there exists something such that the fact that it is not an image and it is a kind of a boldness is incorrect. sent12: if the Liverpudlian is a traitress then it is ribless. sent13: something does not complect Lyginopteris if the fact that it complect Lyginopteris and it is a kind of a traitress does not hold. sent14: something is re-entrant if that it is not re-entrant and is leprous is not right. sent15: the katharobe is not a longness or a neomycin or both. sent16: if the Liverpudlian is not a Oxyuridae it is not a glass. sent17: if something is a kind of a minnow that it is not ribless and not a traitress is wrong. sent18: the Liverpudlian complects exposed if it is physicochemical. ; $proof$ = 
void -> assump1: Let's assume that the Liverpudlian does not complect Lyginopteris and/or is not a longness.; sent9 & assump1 -> int1: the Liverpudlian is not ribless.; __UNKNOWN__