there exists something such that that it is not a kind of an illumination and it does not refine Rhodosphaera does not hold.
sent1: if there is something such that it is a meadowgrass then that the Samson is news and is a perissodactyl is wrong. sent2: that the Samson is news and is a perissodactyl is incorrect. sent3: the Samson is not news if it is not epigastric. sent4: that the Lincoln does not impede prevention and is predictable does not hold if something does impede Lincoln. sent5: the fact that the Lincoln impedes prevention and is predictable is false. sent6: there is something such that that it is not an illumination and it does refine Rhodosphaera is incorrect. sent7: something does not impede prevention but it is predictable. sent8: the cove is a meadowgrass that is ecclesiastical. sent9: if there exists something such that the fact that it does not impede prevention and it is predictable is incorrect then the Samson is not epigastric. sent10: that the blues does impede Lincoln is right if it is not an illumination and it does not refine Rhodosphaera. sent11: if there is something such that it does impede Lincoln the fact that the Lincoln does impede prevention and is predictable is incorrect. sent12: if the blues is an illumination and does not refine Rhodosphaera it impedes Lincoln. sent13: the fact that that the blues is news thing that impedes Lincoln is correct is not right if that something is a kind of a perissodactyl hold. sent14: the fact that the blues is not an illumination and refines Rhodosphaera is wrong. sent15: the Samson is not news but it is a kind of a perissodactyl if it is not epigastric. sent16: there exists something such that it is not an illumination and it does not refine Rhodosphaera.
void -> assump1: Let's assume that the blues is not a kind of an illumination and does not refine Rhodosphaera.; sent10 & assump1 -> int1: the blues impedes Lincoln.; int1 -> int2: something does impede Lincoln.; int2 & sent4 -> int3: that that the Lincoln does not impede prevention and is predictable is wrong is right.; int3 -> int4: there exists something such that that it does not impede prevention and is predictable is not right.; int4 & sent9 -> int5: the Samson is not epigastric.; int5 & sent15 -> int6: that the Samson is not news and is a perissodactyl hold.; sent8 -> int7: the cove is a meadowgrass.; int7 -> int8: there is something such that it is a meadowgrass.;
$hypothesis$ = there exists something such that that it is not a kind of an illumination and it does not refine Rhodosphaera does not hold. ; $context$ = sent1: if there is something such that it is a meadowgrass then that the Samson is news and is a perissodactyl is wrong. sent2: that the Samson is news and is a perissodactyl is incorrect. sent3: the Samson is not news if it is not epigastric. sent4: that the Lincoln does not impede prevention and is predictable does not hold if something does impede Lincoln. sent5: the fact that the Lincoln impedes prevention and is predictable is false. sent6: there is something such that that it is not an illumination and it does refine Rhodosphaera is incorrect. sent7: something does not impede prevention but it is predictable. sent8: the cove is a meadowgrass that is ecclesiastical. sent9: if there exists something such that the fact that it does not impede prevention and it is predictable is incorrect then the Samson is not epigastric. sent10: that the blues does impede Lincoln is right if it is not an illumination and it does not refine Rhodosphaera. sent11: if there is something such that it does impede Lincoln the fact that the Lincoln does impede prevention and is predictable is incorrect. sent12: if the blues is an illumination and does not refine Rhodosphaera it impedes Lincoln. sent13: the fact that that the blues is news thing that impedes Lincoln is correct is not right if that something is a kind of a perissodactyl hold. sent14: the fact that the blues is not an illumination and refines Rhodosphaera is wrong. sent15: the Samson is not news but it is a kind of a perissodactyl if it is not epigastric. sent16: there exists something such that it is not an illumination and it does not refine Rhodosphaera. ; $proof$ = 
void -> assump1: Let's assume that the blues is not a kind of an illumination and does not refine Rhodosphaera.; sent10 & assump1 -> int1: the blues impedes Lincoln.; int1 -> int2: something does impede Lincoln.; int2 & sent4 -> int3: that that the Lincoln does not impede prevention and is predictable is wrong is right.; int3 -> int4: there exists something such that that it does not impede prevention and is predictable is not right.; int4 & sent9 -> int5: the Samson is not epigastric.; int5 & sent15 -> int6: that the Samson is not news and is a perissodactyl hold.; sent8 -> int7: the cove is a meadowgrass.; int7 -> int8: there is something such that it is a meadowgrass.; __UNKNOWN__