the borsch liquefies tux.
sent1: The settling liquefies rofecoxib. sent2: the rofecoxib is not a hypertensive. sent3: if there is something such that it does liquefy etui and is not photosynthetic then the rofecoxib is hypertensive. sent4: that the NMR is a kind of presidential thing that gentles is not correct. sent5: something does gentle and/or it is a petroleum. sent6: if that the waltzer liquefies etui is true then the Doberman does slave Phyllostomus. sent7: the Doberman does not gentle if it is a petroleum. sent8: if something is a kind of a petroleum and/or it does slave Phyllostomus it does not gentle. sent9: something does not gentle if it is a petroleum. sent10: the waltzer is not presidential if the rofecoxib is hypertensive and not presidential. sent11: that something is a kind of a hypertensive and does not liquefy settling is not right if it is photosynthetic. sent12: if the fact that the NMR is presidential thing that does not gentle is wrong then the borsch does liquefy tux. sent13: the fact that the borsch does liquefy tux is not incorrect if the NMR does gentle. sent14: that the NMR is presidential but it does not gentle does not hold if the Doberman does not gentle. sent15: the fact that the NMR is presidential and does gentle is wrong if the Doberman does not gentle. sent16: the Doberman does not liquefy tux. sent17: if the fact that the rofecoxib is not a hypertensive and does not liquefy settling is false then the traitress is photosynthetic. sent18: the rofecoxib liquefies settling. sent19: the fact that the fact that the rofecoxib is a hypertensive but it does not liquefy settling is not false is not right.
void -> assump1: Let's assume that the rofecoxib is not a hypertensive and it does not liquefy settling.; assump1 -> int1: that the rofecoxib does not liquefy settling hold.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the rofecoxib is not hypertensive and does not liquefy settling is false.; int3 & sent17 -> int4: that the traitress is photosynthetic is not incorrect.; sent8 -> int5: if the Doberman is a petroleum or does slave Phyllostomus or both it does not gentle.;
the waltzer is not presidential.
$hypothesis$ = the borsch liquefies tux. ; $context$ = sent1: The settling liquefies rofecoxib. sent2: the rofecoxib is not a hypertensive. sent3: if there is something such that it does liquefy etui and is not photosynthetic then the rofecoxib is hypertensive. sent4: that the NMR is a kind of presidential thing that gentles is not correct. sent5: something does gentle and/or it is a petroleum. sent6: if that the waltzer liquefies etui is true then the Doberman does slave Phyllostomus. sent7: the Doberman does not gentle if it is a petroleum. sent8: if something is a kind of a petroleum and/or it does slave Phyllostomus it does not gentle. sent9: something does not gentle if it is a petroleum. sent10: the waltzer is not presidential if the rofecoxib is hypertensive and not presidential. sent11: that something is a kind of a hypertensive and does not liquefy settling is not right if it is photosynthetic. sent12: if the fact that the NMR is presidential thing that does not gentle is wrong then the borsch does liquefy tux. sent13: the fact that the borsch does liquefy tux is not incorrect if the NMR does gentle. sent14: that the NMR is presidential but it does not gentle does not hold if the Doberman does not gentle. sent15: the fact that the NMR is presidential and does gentle is wrong if the Doberman does not gentle. sent16: the Doberman does not liquefy tux. sent17: if the fact that the rofecoxib is not a hypertensive and does not liquefy settling is false then the traitress is photosynthetic. sent18: the rofecoxib liquefies settling. sent19: the fact that the fact that the rofecoxib is a hypertensive but it does not liquefy settling is not false is not right. ; $proof$ = 
void -> assump1: Let's assume that the rofecoxib is not a hypertensive and it does not liquefy settling.; assump1 -> int1: that the rofecoxib does not liquefy settling hold.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the rofecoxib is not hypertensive and does not liquefy settling is false.; int3 & sent17 -> int4: that the traitress is photosynthetic is not incorrect.; sent8 -> int5: if the Doberman is a petroleum or does slave Phyllostomus or both it does not gentle.; __UNKNOWN__