the celery is not passionless.
sent1: the celery is not a kind of a Brown if the fact that the rheum is a Brown but it does not slide is incorrect. sent2: the fact that the celery does not reissue antineoplastic and is a Brown is not correct. sent3: that the rheum is a kind of a lie-in and is not a slide is false. sent4: that the rheum is not a kind of a lie-in but it is a slide is incorrect. sent5: the celery is not a Brown. sent6: if that the celery does not reissue antineoplastic and it is not a kind of a Brown is not true it is passionless. sent7: the celery is not a slide. sent8: if the celery does not reissue antineoplastic the rheum is not a kind of a lie-in and is not a slide. sent9: that the rheum is not a kind of a lie-in but it slides does not hold if it is divisional. sent10: the rheum is divisional. sent11: the celery is passionless if it is a Brown. sent12: if the rheum is divisional then the fact that it is a lie-in and is not a slide is false. sent13: that that the rheum is not a lie-in and is not a kind of a slide is incorrect is not false if it is divisional.
void -> assump1: Let's assume that the celery does not reissue antineoplastic and is not a Brown.; assump1 -> int1: the celery does not reissue antineoplastic.; int1 & sent8 -> int2: the rheum is not a lie-in and it is not a kind of a slide.; sent13 & sent10 -> int3: that the rheum is not a lie-in and it is not a slide is wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the celery does not reissue antineoplastic and it is not a Brown is incorrect.; int5 & sent6 -> hypothesis;
the celery is passionate.
$hypothesis$ = the celery is not passionless. ; $context$ = sent1: the celery is not a kind of a Brown if the fact that the rheum is a Brown but it does not slide is incorrect. sent2: the fact that the celery does not reissue antineoplastic and is a Brown is not correct. sent3: that the rheum is a kind of a lie-in and is not a slide is false. sent4: that the rheum is not a kind of a lie-in but it is a slide is incorrect. sent5: the celery is not a Brown. sent6: if that the celery does not reissue antineoplastic and it is not a kind of a Brown is not true it is passionless. sent7: the celery is not a slide. sent8: if the celery does not reissue antineoplastic the rheum is not a kind of a lie-in and is not a slide. sent9: that the rheum is not a kind of a lie-in but it slides does not hold if it is divisional. sent10: the rheum is divisional. sent11: the celery is passionless if it is a Brown. sent12: if the rheum is divisional then the fact that it is a lie-in and is not a slide is false. sent13: that that the rheum is not a lie-in and is not a kind of a slide is incorrect is not false if it is divisional. ; $proof$ = 
void -> assump1: Let's assume that the celery does not reissue antineoplastic and is not a Brown.; assump1 -> int1: the celery does not reissue antineoplastic.; int1 & sent8 -> int2: the rheum is not a lie-in and it is not a kind of a slide.; sent13 & sent10 -> int3: that the rheum is not a lie-in and it is not a slide is wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the celery does not reissue antineoplastic and it is not a Brown is incorrect.; int5 & sent6 -> hypothesis; __DISPROVED__