the fact that there exists something such that if it is not a haywire then it does not gather macrotus is false.
sent1: something is a hairgrip if it is seminal and is not a Texan. sent2: the outerwear is not a kind of a haywire if the granola does gather macrotus. sent3: the granola suborns stainer if it is not a haywire. sent4: something is not forgetful and is a kind of a bypass if it is not a kind of a Lushun. sent5: if the granola is not a haywire it gathers macrotus. sent6: there is something such that if it is a haywire the fact that it does not gather macrotus is not incorrect. sent7: something that suborns stainer and is not velar does not gather macrotus. sent8: something that is not forgetful and is a bypass is not a kind of a star. sent9: the granola suborns stainer. sent10: something that is not a star gathers macrotus and is unwoven. sent11: the granola suborns stainer but it is not a kind of a velar if it is not a kind of a haywire. sent12: the granola is not a Lushun if the uterus is athletics. sent13: the fact that the fact that the granola does gather macrotus hold if the granola does suborn stainer but it is non-velar hold. sent14: the granola does not gather macrotus if it is a haywire. sent15: the granola does not empty. sent16: the uterus is athletics if it is febrile.
void -> assump1: Let's assume that the granola is not a haywire.; sent11 & assump1 -> int1: the granola suborns stainer and is not velar.; sent7 -> int2: the granola does not gather macrotus if it suborns stainer and is not a velar.; int1 & int2 -> int3: the granola does not gather macrotus.; [assump1] & int3 -> int4: the granola does not gather macrotus if it is not a haywire.; int4 -> hypothesis;
the outerwear is not a haywire.
sent10 -> int5: the granola gathers macrotus and is unwoven if it is not a star.; sent8 -> int6: the granola is not a star if it is not forgetful and it does bypass.; sent4 -> int7: if that the granola is not a kind of a Lushun is not false it is not forgetful and it bypasses.;
$hypothesis$ = the fact that there exists something such that if it is not a haywire then it does not gather macrotus is false. ; $context$ = sent1: something is a hairgrip if it is seminal and is not a Texan. sent2: the outerwear is not a kind of a haywire if the granola does gather macrotus. sent3: the granola suborns stainer if it is not a haywire. sent4: something is not forgetful and is a kind of a bypass if it is not a kind of a Lushun. sent5: if the granola is not a haywire it gathers macrotus. sent6: there is something such that if it is a haywire the fact that it does not gather macrotus is not incorrect. sent7: something that suborns stainer and is not velar does not gather macrotus. sent8: something that is not forgetful and is a bypass is not a kind of a star. sent9: the granola suborns stainer. sent10: something that is not a star gathers macrotus and is unwoven. sent11: the granola suborns stainer but it is not a kind of a velar if it is not a kind of a haywire. sent12: the granola is not a Lushun if the uterus is athletics. sent13: the fact that the fact that the granola does gather macrotus hold if the granola does suborn stainer but it is non-velar hold. sent14: the granola does not gather macrotus if it is a haywire. sent15: the granola does not empty. sent16: the uterus is athletics if it is febrile. ; $proof$ = 
void -> assump1: Let's assume that the granola is not a haywire.; sent11 & assump1 -> int1: the granola suborns stainer and is not velar.; sent7 -> int2: the granola does not gather macrotus if it suborns stainer and is not a velar.; int1 & int2 -> int3: the granola does not gather macrotus.; [assump1] & int3 -> int4: the granola does not gather macrotus if it is not a haywire.; int4 -> hypothesis; __DISPROVED__