the paleontologist is not progestational.
sent1: the fact that the roach does not construct blockade and is not a pension is false. sent2: if the crate is a confusion but it does not hunger domed it does construct blockade. sent3: if something is collapsible or is not a confusion or both it is not progestational. sent4: if the Tibetan is an opus and/or does hunger domed then the fact that the crate is not a confusion is correct. sent5: the fact that the roach does not construct blockade but it does pension is not true. sent6: if there exists something such that it is not a kind of an opus the analyzer constructs refrigerator and is not a kind of a virus. sent7: the roach is not a virus if the fact that it does not construct blockade and does not pension does not hold. sent8: something that is not a Enid and is not a Epimetheus is not an opus. sent9: the crate is collapsible. sent10: if something is not a Enid and is a Epimetheus it is an opus. sent11: if something is collapsible then the roach is not an opus or it is not a confusion or both. sent12: if the crate is not a kind of a confusion then the paleontologist is collapsible and/or is not a confusion. sent13: if something is not an opus it is progestational and a virus.
void -> assump1: Let's assume that the fact that the Tibetan is not a Enid and it is not a Epimetheus is false.; assump1 -> int1: there is something such that that that it is not a Enid and it is not a Epimetheus is true does not hold.; sent7 & sent1 -> int2: the roach is not a kind of a virus.; sent8 -> int3: if the Tibetan is not a Enid and it is not a Epimetheus it is an opus.; sent3 -> int4: the paleontologist is not progestational if either it is collapsible or it is not a confusion or both.;
the analyzer hungers domed and/or it constructs refrigerator.
sent9 -> int5: there is something such that it is collapsible.; int5 & sent11 -> int6: the roach is not an opus and/or it is not a confusion.;
$hypothesis$ = the paleontologist is not progestational. ; $context$ = sent1: the fact that the roach does not construct blockade and is not a pension is false. sent2: if the crate is a confusion but it does not hunger domed it does construct blockade. sent3: if something is collapsible or is not a confusion or both it is not progestational. sent4: if the Tibetan is an opus and/or does hunger domed then the fact that the crate is not a confusion is correct. sent5: the fact that the roach does not construct blockade but it does pension is not true. sent6: if there exists something such that it is not a kind of an opus the analyzer constructs refrigerator and is not a kind of a virus. sent7: the roach is not a virus if the fact that it does not construct blockade and does not pension does not hold. sent8: something that is not a Enid and is not a Epimetheus is not an opus. sent9: the crate is collapsible. sent10: if something is not a Enid and is a Epimetheus it is an opus. sent11: if something is collapsible then the roach is not an opus or it is not a confusion or both. sent12: if the crate is not a kind of a confusion then the paleontologist is collapsible and/or is not a confusion. sent13: if something is not an opus it is progestational and a virus. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Tibetan is not a Enid and it is not a Epimetheus is false.; assump1 -> int1: there is something such that that that it is not a Enid and it is not a Epimetheus is true does not hold.; sent7 & sent1 -> int2: the roach is not a kind of a virus.; sent8 -> int3: if the Tibetan is not a Enid and it is not a Epimetheus it is an opus.; sent3 -> int4: the paleontologist is not progestational if either it is collapsible or it is not a confusion or both.; __UNKNOWN__