the lackey is not nonexistent.
sent1: that the endoplasm does not grow but it is contemptible does not hold if that the phyllode does not grow is true. sent2: something fingerprints razbliuto and it slices endoplasm if it is not an ai. sent3: either the tureen is not a kind of an ai or it does fingerprint razbliuto or both if the banteng does not instrument hanging. sent4: if the lackey is not nonexistent that the tureen is both nonexistent and an ai is not right. sent5: something is not existent if that the fact that it is not existent and it instruments hanging is right does not hold. sent6: the superload does slice endoplasm. sent7: if the banteng does not instrument hanging then the tureen is an ai or it does fingerprint razbliuto or both. sent8: the banteng does not instrument hanging if the superload is not inner but a tuck. sent9: if that the endoplasm does not grow and is contemptible is not right the lackey is not nonexistent. sent10: if the superload is nonexistent then that the lackey is nonexistent is right. sent11: the superload is not inner. sent12: that the banteng does not instrument hanging is not wrong if the superload is inner and it is a tuck. sent13: the fact that the superload does not slice endoplasm is right if that the fact that it is not inner and it is a tuck is not incorrect is not right. sent14: the phyllode does not grow if the tureen is not an ai and/or does fingerprint razbliuto. sent15: The endoplasm does slice superload. sent16: if the tureen does fingerprint razbliuto and it slices endoplasm the banteng does not slices endoplasm. sent17: the fact that the phyllode does grow and it is not non-contemptible does not hold.
void -> assump1: Let's assume that the fact that the superload is non-inner a tuck does not hold.; sent13 & assump1 -> int1: that the superload does not slice endoplasm hold.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the superload is not inner and does tuck.; int3 & sent8 -> int4: that the banteng does not instrument hanging hold.; int4 & sent3 -> int5: the tureen is not a kind of an ai or fingerprints razbliuto or both.; int5 & sent14 -> int6: the phyllode does not grow.; int6 & sent1 -> int7: that the endoplasm does not grow and is contemptible is not correct.; int7 & sent9 -> hypothesis;
the lackey is nonexistent.
sent5 -> int8: the superload is nonexistent if the fact that it is not nonexistent and it does instrument hanging is false.; sent2 -> int9: if the tureen is not an ai it fingerprints razbliuto and slices endoplasm.; sent17 -> int10: there exists something such that that it does grow and it is contemptible does not hold.;
$hypothesis$ = the lackey is not nonexistent. ; $context$ = sent1: that the endoplasm does not grow but it is contemptible does not hold if that the phyllode does not grow is true. sent2: something fingerprints razbliuto and it slices endoplasm if it is not an ai. sent3: either the tureen is not a kind of an ai or it does fingerprint razbliuto or both if the banteng does not instrument hanging. sent4: if the lackey is not nonexistent that the tureen is both nonexistent and an ai is not right. sent5: something is not existent if that the fact that it is not existent and it instruments hanging is right does not hold. sent6: the superload does slice endoplasm. sent7: if the banteng does not instrument hanging then the tureen is an ai or it does fingerprint razbliuto or both. sent8: the banteng does not instrument hanging if the superload is not inner but a tuck. sent9: if that the endoplasm does not grow and is contemptible is not right the lackey is not nonexistent. sent10: if the superload is nonexistent then that the lackey is nonexistent is right. sent11: the superload is not inner. sent12: that the banteng does not instrument hanging is not wrong if the superload is inner and it is a tuck. sent13: the fact that the superload does not slice endoplasm is right if that the fact that it is not inner and it is a tuck is not incorrect is not right. sent14: the phyllode does not grow if the tureen is not an ai and/or does fingerprint razbliuto. sent15: The endoplasm does slice superload. sent16: if the tureen does fingerprint razbliuto and it slices endoplasm the banteng does not slices endoplasm. sent17: the fact that the phyllode does grow and it is not non-contemptible does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the superload is non-inner a tuck does not hold.; sent13 & assump1 -> int1: that the superload does not slice endoplasm hold.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the superload is not inner and does tuck.; int3 & sent8 -> int4: that the banteng does not instrument hanging hold.; int4 & sent3 -> int5: the tureen is not a kind of an ai or fingerprints razbliuto or both.; int5 & sent14 -> int6: the phyllode does not grow.; int6 & sent1 -> int7: that the endoplasm does not grow and is contemptible is not correct.; int7 & sent9 -> hypothesis; __PROVED__