the ECF is irrevocable.
sent1: the stephanion quarantines I-beam. sent2: the Sand is irrevocable. sent3: the fact that the fact that the Sand does quarantine temporalty and is not a IRA is wrong is not false if there exists something such that it whelps. sent4: there is something such that it does whelp. sent5: if that the Sand does not whelp and it does not quarantine temporalty is incorrect then it is not a kind of a gravel. sent6: the Rhenish quarantines I-beam if the Sand is a IRA. sent7: if that something whelps and it is a IRA does not hold then it does not whelps. sent8: that the Sand does quarantine temporalty and is a IRA is not true. sent9: if there is something such that it whelps that the Sand quarantines temporalty and is a kind of a IRA is not true. sent10: if the Rhenish does quarantine I-beam the ECF is irrevocable. sent11: if the Sand does not quarantine temporalty then that it does whelp and is a kind of a IRA is wrong.
sent4 & sent3 -> int1: the fact that the Sand quarantines temporalty and is not a kind of a IRA does not hold.;
the ECF is not irrevocable.
sent7 -> int2: the Sand does not whelp if that it does whelp and it is a IRA is not right.;
$hypothesis$ = the ECF is irrevocable. ; $context$ = sent1: the stephanion quarantines I-beam. sent2: the Sand is irrevocable. sent3: the fact that the fact that the Sand does quarantine temporalty and is not a IRA is wrong is not false if there exists something such that it whelps. sent4: there is something such that it does whelp. sent5: if that the Sand does not whelp and it does not quarantine temporalty is incorrect then it is not a kind of a gravel. sent6: the Rhenish quarantines I-beam if the Sand is a IRA. sent7: if that something whelps and it is a IRA does not hold then it does not whelps. sent8: that the Sand does quarantine temporalty and is a IRA is not true. sent9: if there is something such that it whelps that the Sand quarantines temporalty and is a kind of a IRA is not true. sent10: if the Rhenish does quarantine I-beam the ECF is irrevocable. sent11: if the Sand does not quarantine temporalty then that it does whelp and is a kind of a IRA is wrong. ; $proof$ = 
sent4 & sent3 -> int1: the fact that the Sand quarantines temporalty and is not a kind of a IRA does not hold.; __UNKNOWN__