there are non-empty things.
sent1: everything is not operculate or does not knit do-si-do or both. sent2: the plot is an empty. sent3: the professor is not a normality and/or it does not variegate. sent4: if the plot is not a Park the professor is operculate. sent5: something is not distal if it does convene. sent6: if the plot is not operculate the professor is a kind of a Park. sent7: the professor is not a kind of an empty if it knits do-si-do. sent8: if the professor is not operculate the fact that the plot is a Park is true. sent9: if that the plot does knit heliopause is not false then it is not operculate. sent10: the professor does not knit do-si-do if it empties. sent11: everything is not unimpressive and/or it does not knit heliopause. sent12: everything is not nonmechanical or non-labyrinthine or both. sent13: something does not empty if it is a Park. sent14: the fact that the plot is a kind of an empty hold if the professor is not operculate. sent15: the professor is not a Park if it knits do-si-do.
sent1 -> int1: the plot either is non-operculate or does not knit do-si-do or both.; sent13 -> int2: if the professor is a Park then it is not a kind of an empty.;
$hypothesis$ = there are non-empty things. ; $context$ = sent1: everything is not operculate or does not knit do-si-do or both. sent2: the plot is an empty. sent3: the professor is not a normality and/or it does not variegate. sent4: if the plot is not a Park the professor is operculate. sent5: something is not distal if it does convene. sent6: if the plot is not operculate the professor is a kind of a Park. sent7: the professor is not a kind of an empty if it knits do-si-do. sent8: if the professor is not operculate the fact that the plot is a Park is true. sent9: if that the plot does knit heliopause is not false then it is not operculate. sent10: the professor does not knit do-si-do if it empties. sent11: everything is not unimpressive and/or it does not knit heliopause. sent12: everything is not nonmechanical or non-labyrinthine or both. sent13: something does not empty if it is a Park. sent14: the fact that the plot is a kind of an empty hold if the professor is not operculate. sent15: the professor is not a Park if it knits do-si-do. ; $proof$ = 
sent1 -> int1: the plot either is non-operculate or does not knit do-si-do or both.; sent13 -> int2: if the professor is a Park then it is not a kind of an empty.; __UNKNOWN__