there exists something such that if the fact that it is ceric and it does not resect insult is false it is nontoxic.
sent1: if that the shelduck is ceric and does resect insult does not hold the fact that it is not toxic is correct. sent2: the fact that there is something such that if it is not ceric then it is nontoxic is not wrong.
$hypothesis$ = there exists something such that if the fact that it is ceric and it does not resect insult is false it is nontoxic. ; $context$ = sent1: if that the shelduck is ceric and does resect insult does not hold the fact that it is not toxic is correct. sent2: the fact that there is something such that if it is not ceric then it is nontoxic is not wrong. ; $proof$ = 
__UNKNOWN__