the fact that the spittlebug does not heal subordinateness and is not a tempera is wrong.
sent1: the spittlebug is not a kind of a benzodiazepine. sent2: if that the raisin is current and it is not non-sadomasochistic is incorrect then the spittlebug is not a current. sent3: if the fact that the spittlebug is not a benzodiazepine is not wrong then it is a intoxicant that is a gravestone. sent4: the coupling is sadomasochistic. sent5: if there exists something such that it is not a current then the Scholastic does not heal sidesman. sent6: either the syndic does heal subordinateness or it does not punt or both. sent7: the raisin is a kind of a current. sent8: if something is a gravestone and it is sadomasochistic then it is not a kind of a tempera. sent9: the fact that the fact that something does not heal subordinateness and it is not a tempera hold is not right if it is not current. sent10: the spittlebug is a intoxicant and it heals sidesman. sent11: the coupling is a germ and is a successor. sent12: the fact that something is both not noncurrent and not non-sadomasochistic is not right if that it is not a gravestone is right. sent13: if something is not a benzodiazepine it is not a kind of a punt and it is a intoxicant. sent14: the syndic does dilate raisin and it is a benzodiazepine. sent15: the spittlebug does not heal subordinateness if the syndic either does heal subordinateness or does not punt or both. sent16: the spittlebug is sadomasochistic if the coupling is a proctor and does not heal sidesman. sent17: if the spittlebug is a kind of a benzodiazepine or it does not heal sidesman or both then the coupling is not a benzodiazepine. sent18: the coupling is a proctor but it does not heal sidesman if the raisin is current.
sent18 & sent7 -> int1: the coupling is a proctor that does not heal sidesman.; int1 & sent16 -> int2: the spittlebug is sadomasochistic.; sent3 & sent1 -> int3: the spittlebug is a kind of a intoxicant that is a gravestone.; int3 -> int4: the fact that the spittlebug is a kind of a gravestone is not false.; int2 & int4 -> int5: the spittlebug is a kind of a gravestone that is sadomasochistic.; sent8 -> int6: if the spittlebug is a gravestone and is sadomasochistic then it is not a tempera.; int5 & int6 -> int7: the spittlebug is not a tempera.; sent15 & sent6 -> int8: the spittlebug does not heal subordinateness.; int7 & int8 -> hypothesis;
the fact that the spittlebug does not heal subordinateness and it is not a tempera does not hold.
sent9 -> int9: that the fact that the spittlebug does not heal subordinateness and it is not a kind of a tempera is not correct hold if it is not a current.; sent12 -> int10: the fact that the raisin is both a current and sadomasochistic is not right if it is not a gravestone.; sent13 -> int11: if the coupling is not a benzodiazepine it is both not a punt and a intoxicant.;
$hypothesis$ = the fact that the spittlebug does not heal subordinateness and is not a tempera is wrong. ; $context$ = sent1: the spittlebug is not a kind of a benzodiazepine. sent2: if that the raisin is current and it is not non-sadomasochistic is incorrect then the spittlebug is not a current. sent3: if the fact that the spittlebug is not a benzodiazepine is not wrong then it is a intoxicant that is a gravestone. sent4: the coupling is sadomasochistic. sent5: if there exists something such that it is not a current then the Scholastic does not heal sidesman. sent6: either the syndic does heal subordinateness or it does not punt or both. sent7: the raisin is a kind of a current. sent8: if something is a gravestone and it is sadomasochistic then it is not a kind of a tempera. sent9: the fact that the fact that something does not heal subordinateness and it is not a tempera hold is not right if it is not current. sent10: the spittlebug is a intoxicant and it heals sidesman. sent11: the coupling is a germ and is a successor. sent12: the fact that something is both not noncurrent and not non-sadomasochistic is not right if that it is not a gravestone is right. sent13: if something is not a benzodiazepine it is not a kind of a punt and it is a intoxicant. sent14: the syndic does dilate raisin and it is a benzodiazepine. sent15: the spittlebug does not heal subordinateness if the syndic either does heal subordinateness or does not punt or both. sent16: the spittlebug is sadomasochistic if the coupling is a proctor and does not heal sidesman. sent17: if the spittlebug is a kind of a benzodiazepine or it does not heal sidesman or both then the coupling is not a benzodiazepine. sent18: the coupling is a proctor but it does not heal sidesman if the raisin is current. ; $proof$ = 
sent18 & sent7 -> int1: the coupling is a proctor that does not heal sidesman.; int1 & sent16 -> int2: the spittlebug is sadomasochistic.; sent3 & sent1 -> int3: the spittlebug is a kind of a intoxicant that is a gravestone.; int3 -> int4: the fact that the spittlebug is a kind of a gravestone is not false.; int2 & int4 -> int5: the spittlebug is a kind of a gravestone that is sadomasochistic.; sent8 -> int6: if the spittlebug is a gravestone and is sadomasochistic then it is not a tempera.; int5 & int6 -> int7: the spittlebug is not a tempera.; sent15 & sent6 -> int8: the spittlebug does not heal subordinateness.; int7 & int8 -> hypothesis; __DISPROVED__