the tineid is not dramatic.
sent1: the fact that the blowtube is both not dramatic and not non-ulcerative is false. sent2: there exists something such that it is neurotic. sent3: the fact that the disputant is both not non-arenicolous and non-ulcerative is not true. sent4: the tineid is not dramatic if there exists something such that that it is a relaxant and non-ulcerative is incorrect. sent5: the disputant is not arenicolous and it is not benignant. sent6: if the fact that something is a neurotic is right that it is non-arenicolous and non-benignant is not true. sent7: that the blowtube is a kind of a relaxant and it is ulcerative does not hold if something is not a kind of a neurotic.
sent6 -> int1: that the disputant is not arenicolous and it is not benignant is not right if it is a neurotic.; void -> assump1: Let's assume that the disputant is a kind of a neurotic.; int1 & assump1 -> int2: that the disputant is not arenicolous and it is not benignant is false.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the disputant is not a kind of a neurotic.; int4 -> int5: something is not a neurotic.;
$hypothesis$ = the tineid is not dramatic. ; $context$ = sent1: the fact that the blowtube is both not dramatic and not non-ulcerative is false. sent2: there exists something such that it is neurotic. sent3: the fact that the disputant is both not non-arenicolous and non-ulcerative is not true. sent4: the tineid is not dramatic if there exists something such that that it is a relaxant and non-ulcerative is incorrect. sent5: the disputant is not arenicolous and it is not benignant. sent6: if the fact that something is a neurotic is right that it is non-arenicolous and non-benignant is not true. sent7: that the blowtube is a kind of a relaxant and it is ulcerative does not hold if something is not a kind of a neurotic. ; $proof$ = 
sent6 -> int1: that the disputant is not arenicolous and it is not benignant is not right if it is a neurotic.; void -> assump1: Let's assume that the disputant is a kind of a neurotic.; int1 & assump1 -> int2: that the disputant is not arenicolous and it is not benignant is false.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the disputant is not a kind of a neurotic.; int4 -> int5: something is not a neurotic.; __UNKNOWN__