the cricketer is not a kind of a syndication.
sent1: the cricketer is a Neofiber. sent2: the talipot is a Neofiber if there exists something such that it is both an overshot and a lymph. sent3: the talipot is a syndication if it is not a Neofiber. sent4: something is Hippocratic and it is a kind of a syndication. sent5: the talipot over shoots. sent6: if there is something such that it is a kind of a syndication and it does overshoot then the cricketer is Hippocratic. sent7: that if the gravel is not Hippocratic then the gravel is a kind of a syndication is not false. sent8: there exists something such that it is a Neofiber and it is Hippocratic. sent9: the fact that the cricketer is a syndication is not false if the talipot is a Neofiber. sent10: the gravel is a kind of an overshot and it is a lymph if it is not Hippocratic. sent11: the cricketer repeats. sent12: the gravel is not Hippocratic. sent13: if the gentamicin is not a kind of a syndication it is locker-room.
sent10 & sent12 -> int1: the gravel is an overshot that is a lymph.; int1 -> int2: there exists something such that it is both an overshot and a lymph.; int2 & sent2 -> int3: the talipot is a Neofiber.; sent9 & int3 -> hypothesis;
$hypothesis$ = the cricketer is not a kind of a syndication. ; $context$ = sent1: the cricketer is a Neofiber. sent2: the talipot is a Neofiber if there exists something such that it is both an overshot and a lymph. sent3: the talipot is a syndication if it is not a Neofiber. sent4: something is Hippocratic and it is a kind of a syndication. sent5: the talipot over shoots. sent6: if there is something such that it is a kind of a syndication and it does overshoot then the cricketer is Hippocratic. sent7: that if the gravel is not Hippocratic then the gravel is a kind of a syndication is not false. sent8: there exists something such that it is a Neofiber and it is Hippocratic. sent9: the fact that the cricketer is a syndication is not false if the talipot is a Neofiber. sent10: the gravel is a kind of an overshot and it is a lymph if it is not Hippocratic. sent11: the cricketer repeats. sent12: the gravel is not Hippocratic. sent13: if the gentamicin is not a kind of a syndication it is locker-room. ; $proof$ = 
sent10 & sent12 -> int1: the gravel is an overshot that is a lymph.; int1 -> int2: there exists something such that it is both an overshot and a lymph.; int2 & sent2 -> int3: the talipot is a Neofiber.; sent9 & int3 -> hypothesis; __DISPROVED__