the recombinant is not benedictory.
sent1: if something does rekindle then it is benedictory. sent2: there exists something such that it does not reflectorize corn. sent3: if something is benedictory but it does not reflectorize corn the fact that the recombinant is not a diocese is right. sent4: something is not benedictory. sent5: there is something such that it does not reflectorize corn and is not benedictory. sent6: if something does not reflectorize corn and it is not a diocese the recombinant is not benedictory.
the recombinant is benedictory.
sent1 -> int1: if the fact that the recombinant rekindles hold then that it is benedictory is correct.;
$hypothesis$ = the recombinant is not benedictory. ; $context$ = sent1: if something does rekindle then it is benedictory. sent2: there exists something such that it does not reflectorize corn. sent3: if something is benedictory but it does not reflectorize corn the fact that the recombinant is not a diocese is right. sent4: something is not benedictory. sent5: there is something such that it does not reflectorize corn and is not benedictory. sent6: if something does not reflectorize corn and it is not a diocese the recombinant is not benedictory. ; $proof$ = 
__UNKNOWN__