that the neurobiologist does not boast and does not fail demulcent is not right.
sent1: that the neurobiologist is not a wife and fails demulcent is false. sent2: the fact that the Basil does not fail demulcent is not false. sent3: the fact that the Basil is not a blastoderm but it does boast is incorrect. sent4: the fact that the neurobiologist does not bar impact and is not a kind of a sketch is not right. sent5: the Calymmatobacterium winnows. sent6: if the Basil bars Ursidae then the neurobiologist is a kind of a winnow. sent7: the neurobiologist does bar Ursidae and it does winnow if it is not humoral. sent8: the neurobiologist is tinny. sent9: if the neurobiologist bars Ursidae the Basil does winnow. sent10: The Ursidae bars Basil. sent11: if the neurobiologist is a boast it does not assure. sent12: the Basil is not a kind of a boast. sent13: that the neurobiologist is not a boast and it does not bar Ursidae is wrong. sent14: if that the neurobiologist is not a boast and does not fail demulcent does not hold it does not winnow. sent15: the Basil bars Ursidae.
void -> assump1: Let's assume that that the neurobiologist does not boast and does not fail demulcent is incorrect.; sent14 & assump1 -> int1: the neurobiologist is not a winnow.; sent6 & sent15 -> int2: the neurobiologist does winnow.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the neurobiologist is not a kind of a boast and does not fail demulcent is false.
$hypothesis$ = that the neurobiologist does not boast and does not fail demulcent is not right. ; $context$ = sent1: that the neurobiologist is not a wife and fails demulcent is false. sent2: the fact that the Basil does not fail demulcent is not false. sent3: the fact that the Basil is not a blastoderm but it does boast is incorrect. sent4: the fact that the neurobiologist does not bar impact and is not a kind of a sketch is not right. sent5: the Calymmatobacterium winnows. sent6: if the Basil bars Ursidae then the neurobiologist is a kind of a winnow. sent7: the neurobiologist does bar Ursidae and it does winnow if it is not humoral. sent8: the neurobiologist is tinny. sent9: if the neurobiologist bars Ursidae the Basil does winnow. sent10: The Ursidae bars Basil. sent11: if the neurobiologist is a boast it does not assure. sent12: the Basil is not a kind of a boast. sent13: that the neurobiologist is not a boast and it does not bar Ursidae is wrong. sent14: if that the neurobiologist is not a boast and does not fail demulcent does not hold it does not winnow. sent15: the Basil bars Ursidae. ; $proof$ = 
void -> assump1: Let's assume that that the neurobiologist does not boast and does not fail demulcent is incorrect.; sent14 & assump1 -> int1: the neurobiologist is not a winnow.; sent6 & sent15 -> int2: the neurobiologist does winnow.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__