that there exists something such that that it is not a Lunt and is not non-adverbial is not false is not true.
sent1: there exists something such that it does tag Cynoscion and it is an android. sent2: there is something such that it is not a Lunt. sent3: the rescuer is a kind of a ladder-back. sent4: there is something such that it is a kind of a MPEG. sent5: something is not a carob. sent6: the rescuer does not recast limelight but it is a Ambystomatidae. sent7: the rescuer is a hike if it shifts. sent8: there is something such that it is not a carob and it is a Lunt. sent9: something is Lincolnesque. sent10: something is a kind of a Lunt that is adverbial. sent11: there is something such that it is a Giraffidae. sent12: the rescuer is a kind of a Theban if it is a Lunt. sent13: the rescuer is a kind of a carob if something that tags Cynoscion is an android. sent14: there exists something such that it is not adverbial and is a carob. sent15: the rescuer tags Cynoscion. sent16: there exists something such that it is both not a carob and adverbial. sent17: if the rescuer is a carob it is adverbial. sent18: there is something such that it is a kind of an adverbial. sent19: the rescuer is not a Lunt.
sent1 & sent13 -> int1: the rescuer is a carob.; int1 & sent17 -> int2: the rescuer is an adverbial.; int2 & sent19 -> int3: the rescuer is not a Lunt but an adverbial.; int3 -> hypothesis;
$hypothesis$ = that there exists something such that that it is not a Lunt and is not non-adverbial is not false is not true. ; $context$ = sent1: there exists something such that it does tag Cynoscion and it is an android. sent2: there is something such that it is not a Lunt. sent3: the rescuer is a kind of a ladder-back. sent4: there is something such that it is a kind of a MPEG. sent5: something is not a carob. sent6: the rescuer does not recast limelight but it is a Ambystomatidae. sent7: the rescuer is a hike if it shifts. sent8: there is something such that it is not a carob and it is a Lunt. sent9: something is Lincolnesque. sent10: something is a kind of a Lunt that is adverbial. sent11: there is something such that it is a Giraffidae. sent12: the rescuer is a kind of a Theban if it is a Lunt. sent13: the rescuer is a kind of a carob if something that tags Cynoscion is an android. sent14: there exists something such that it is not adverbial and is a carob. sent15: the rescuer tags Cynoscion. sent16: there exists something such that it is both not a carob and adverbial. sent17: if the rescuer is a carob it is adverbial. sent18: there is something such that it is a kind of an adverbial. sent19: the rescuer is not a Lunt. ; $proof$ = 
sent1 & sent13 -> int1: the rescuer is a carob.; int1 & sent17 -> int2: the rescuer is an adverbial.; int2 & sent19 -> int3: the rescuer is not a Lunt but an adverbial.; int3 -> hypothesis; __DISPROVED__