there exists something such that it does not hedge oxide and it is a kind of a Rasmussen.
sent1: the oxide is a expurgator and does restore bill.
sent1 -> int1: the oxide does restore bill.;
$hypothesis$ = there exists something such that it does not hedge oxide and it is a kind of a Rasmussen. ; $context$ = sent1: the oxide is a expurgator and does restore bill. ; $proof$ = 
sent1 -> int1: the oxide does restore bill.; __UNKNOWN__