the fact that the precinct does not overdose and/or is a firmness is not true.
sent1: that the fact that the Dominique prophesies and it is a consolation does not hold hold if it does overdose. sent2: if there is something such that that it does not jell and/or it does not prophesy is not true then the Dominique is a consolation. sent3: there is something such that it does jell. sent4: the Dominique is a firmness if there is something such that the fact that it is not a mycology and/or does not prophesy is not true. sent5: if the Pinot is not a kind of a firmness the precinct does not overdose and/or it is a firmness. sent6: if the dubbing does not jell either the Dominique does unbrace or it does jell or both. sent7: the coffeepot is inefficient and it does prophesy. sent8: the coffeepot does overdose. sent9: there is something such that it is dioecious but not Sardinian. sent10: the coffeepot is a firmness if the precinct is inefficient. sent11: that something is a mycology and does not unbrace is not true if it is a consolation. sent12: the precinct is a kind of a mycology. sent13: if something is a consolation the Dominique does not jell. sent14: if there is something such that that it is a mycology and does not unbrace is not right the Pinot is not a kind of a firmness. sent15: the fact that the skull is a blennioid that is inefficient is not wrong. sent16: the precinct is a mycology and it does overdose. sent17: that the coffeepot unbraces and it is a consolation is not correct if it is inefficient. sent18: there is something such that that it unbraces or it is not a firmness or both does not hold. sent19: the fact that the dubbing does not jell and/or it does not prophesy is wrong if the coffeepot does prophesy.
sent7 -> int1: the coffeepot does prophesy.; int1 & sent19 -> int2: the fact that the dubbing does not jell or it does not prophesy or both is not right.; int2 -> int3: there is something such that that it does not jell or it does not prophesy or both does not hold.; int3 & sent2 -> int4: the Dominique is a consolation.; sent11 -> int5: the fact that the Dominique is a mycology but it does not unbrace does not hold if it is a consolation.; int4 & int5 -> int6: the fact that the Dominique is a kind of a mycology but it does not unbrace is not right.; int6 -> int7: there exists something such that the fact that it is a mycology and it does not unbrace is not right.; int7 & sent14 -> int8: the Pinot is not a firmness.; int8 & sent5 -> hypothesis;
$hypothesis$ = the fact that the precinct does not overdose and/or is a firmness is not true. ; $context$ = sent1: that the fact that the Dominique prophesies and it is a consolation does not hold hold if it does overdose. sent2: if there is something such that that it does not jell and/or it does not prophesy is not true then the Dominique is a consolation. sent3: there is something such that it does jell. sent4: the Dominique is a firmness if there is something such that the fact that it is not a mycology and/or does not prophesy is not true. sent5: if the Pinot is not a kind of a firmness the precinct does not overdose and/or it is a firmness. sent6: if the dubbing does not jell either the Dominique does unbrace or it does jell or both. sent7: the coffeepot is inefficient and it does prophesy. sent8: the coffeepot does overdose. sent9: there is something such that it is dioecious but not Sardinian. sent10: the coffeepot is a firmness if the precinct is inefficient. sent11: that something is a mycology and does not unbrace is not true if it is a consolation. sent12: the precinct is a kind of a mycology. sent13: if something is a consolation the Dominique does not jell. sent14: if there is something such that that it is a mycology and does not unbrace is not right the Pinot is not a kind of a firmness. sent15: the fact that the skull is a blennioid that is inefficient is not wrong. sent16: the precinct is a mycology and it does overdose. sent17: that the coffeepot unbraces and it is a consolation is not correct if it is inefficient. sent18: there is something such that that it unbraces or it is not a firmness or both does not hold. sent19: the fact that the dubbing does not jell and/or it does not prophesy is wrong if the coffeepot does prophesy. ; $proof$ = 
sent7 -> int1: the coffeepot does prophesy.; int1 & sent19 -> int2: the fact that the dubbing does not jell or it does not prophesy or both is not right.; int2 -> int3: there is something such that that it does not jell or it does not prophesy or both does not hold.; int3 & sent2 -> int4: the Dominique is a consolation.; sent11 -> int5: the fact that the Dominique is a mycology but it does not unbrace does not hold if it is a consolation.; int4 & int5 -> int6: the fact that the Dominique is a kind of a mycology but it does not unbrace is not right.; int6 -> int7: there exists something such that the fact that it is a mycology and it does not unbrace is not right.; int7 & sent14 -> int8: the Pinot is not a firmness.; int8 & sent5 -> hypothesis; __DISPROVED__