that the Libra is not inclusive is not correct.
sent1: if something is a Greek then it is not inclusive. sent2: the billet is a kind of a grubby if the Libra is not inclusive. sent3: the fact that something is non-matriarchal thing that does not appropriate cholecystokinin is false if it is acidic. sent4: if the billet is a kind of a Iranian the Communist is a kind of a Greek. sent5: the billet is a kind of a grubby. sent6: if there is something such that it is matriarchal then the fact that the aberrant does not appropriate cholecystokinin and is not a kind of a hysteroscopy is not correct. sent7: that something is not a Ionian and it is not powerless is incorrect if it is not inclusive. sent8: if that the Libra is not inclusive is not false the billet is Iranian and grubby. sent9: the gelignite is acidic and it is matriarchal if it does not skip polyelectrolyte. sent10: the billet is not a hysteroscopy if there exists something such that the fact that it is not matriarchal and it does not appropriate cholecystokinin is not correct. sent11: the aberrant is not a hysteroscopy if the soupspoon is a hysteroscopy. sent12: the billet does appropriate cholecystokinin if the aberrant is a kind of a grubby. sent13: that the gelignite is acidic is correct. sent14: the aberrant does not appropriate cholecystokinin and is not a kind of a hysteroscopy if the soupspoon is a hysteroscopy. sent15: The polyelectrolyte does not skip gelignite. sent16: the gelignite does not skip polyelectrolyte. sent17: the aberrant is not a hysteroscopy. sent18: if something is a Greek then it is a Ionian.
void -> assump1: Let's assume that the Libra is not inclusive.; sent8 & assump1 -> int1: the billet is Iranian and it is a grubby.; int1 -> int2: the billet is a kind of a Iranian.; int2 & sent4 -> int3: the Communist is a Greek.; sent18 -> int4: if the Communist is Greek it is a Ionian.; int3 & int4 -> int5: the Communist is a Ionian.; sent9 & sent16 -> int6: the gelignite is acidic and it is matriarchal.; int6 -> int7: the gelignite is matriarchal.; int7 -> int8: there exists something such that it is matriarchal.; int8 & sent6 -> int9: that the aberrant does not appropriate cholecystokinin and it is not a hysteroscopy is incorrect.;
the fact that the pichiciago is not Ionian and not powerless is not true.
sent7 -> int10: that that the pichiciago is non-Ionian and it is not powerless is false is true if it is not inclusive.;
$hypothesis$ = that the Libra is not inclusive is not correct. ; $context$ = sent1: if something is a Greek then it is not inclusive. sent2: the billet is a kind of a grubby if the Libra is not inclusive. sent3: the fact that something is non-matriarchal thing that does not appropriate cholecystokinin is false if it is acidic. sent4: if the billet is a kind of a Iranian the Communist is a kind of a Greek. sent5: the billet is a kind of a grubby. sent6: if there is something such that it is matriarchal then the fact that the aberrant does not appropriate cholecystokinin and is not a kind of a hysteroscopy is not correct. sent7: that something is not a Ionian and it is not powerless is incorrect if it is not inclusive. sent8: if that the Libra is not inclusive is not false the billet is Iranian and grubby. sent9: the gelignite is acidic and it is matriarchal if it does not skip polyelectrolyte. sent10: the billet is not a hysteroscopy if there exists something such that the fact that it is not matriarchal and it does not appropriate cholecystokinin is not correct. sent11: the aberrant is not a hysteroscopy if the soupspoon is a hysteroscopy. sent12: the billet does appropriate cholecystokinin if the aberrant is a kind of a grubby. sent13: that the gelignite is acidic is correct. sent14: the aberrant does not appropriate cholecystokinin and is not a kind of a hysteroscopy if the soupspoon is a hysteroscopy. sent15: The polyelectrolyte does not skip gelignite. sent16: the gelignite does not skip polyelectrolyte. sent17: the aberrant is not a hysteroscopy. sent18: if something is a Greek then it is a Ionian. ; $proof$ = 
void -> assump1: Let's assume that the Libra is not inclusive.; sent8 & assump1 -> int1: the billet is Iranian and it is a grubby.; int1 -> int2: the billet is a kind of a Iranian.; int2 & sent4 -> int3: the Communist is a Greek.; sent18 -> int4: if the Communist is Greek it is a Ionian.; int3 & int4 -> int5: the Communist is a Ionian.; sent9 & sent16 -> int6: the gelignite is acidic and it is matriarchal.; int6 -> int7: the gelignite is matriarchal.; int7 -> int8: there exists something such that it is matriarchal.; int8 & sent6 -> int9: that the aberrant does not appropriate cholecystokinin and it is not a hysteroscopy is incorrect.; __UNKNOWN__