the rampart is a submarine.
sent1: The ordinary does field ordinary. sent2: if the dining-hall is a drop-leaf then the rampart is post-communist but it is not a majors. sent3: if the dining-hall is not intrastate then the fact that either the keurboom does not spectate or it is not apneic or both does not hold. sent4: if the beta-adrenoceptor is not a drop-leaf the fact that the surrey does not rectify is not false. sent5: there exists something such that the fact that it spectates or is not apneic or both is wrong. sent6: the ordinary does field ordinary. sent7: the surrey does rectify if there is something such that the fact that it does not rectify and is a halitus does not hold. sent8: if something is post-communist but it is not a majors then that it does not spectate is right. sent9: if the keurboom does spectate that the dining-hall is not intrastate and is apneic does not hold. sent10: something does not field ordinary but it is apneic. sent11: the rampart is a submarine if the dining-hall does not numerate Unionidae and does not numerate digitization. sent12: there is something such that the fact that it rectifies and is a halitus is not right. sent13: the beta-adrenoceptor is not a drop-leaf and/or it is not a majors if the crib is post-communist. sent14: if the fact that something is non-intrastate thing that is apneic is not true it does not submarine. sent15: there is something such that the fact that the fact that it either does not spectate or is apneic or both is not false is not right. sent16: if that the dining-hall does not numerate Unionidae and it does not numerate digitization does not hold then it is not intrastate. sent17: the rampart is a drop-leaf if that the dining-hall is non-intrastate thing that is apneic is wrong. sent18: if the fact that something is not a kind of a halitus and does rectify is not right then the fact that it is a drop-leaf is right. sent19: the dining-hall does not numerate digitization. sent20: the crib is post-communist if there is something such that that it does not spectate and/or is not apneic does not hold. sent21: if the ordinary does field ordinary that it does not rectify and is a halitus is incorrect.
void -> assump1: Let's assume that that the dining-hall does not numerate Unionidae and does not numerate digitization is incorrect.; sent16 & assump1 -> int1: the fact that the dining-hall is not intrastate is correct.; int1 & sent3 -> int2: that the keurboom either does not spectate or is not apneic or both is not right.; int2 -> int3: there exists something such that the fact that it either does not spectate or is not apneic or both is not true.; int3 & sent20 -> int4: the crib is post-communist.; int4 & sent13 -> int5: the beta-adrenoceptor either is not a drop-leaf or does not major or both.; sent21 & sent6 -> int6: that the ordinary does not rectify and is a halitus is false.; int6 -> int7: there exists something such that the fact that it does not rectify and it is a halitus is wrong.; int7 & sent7 -> int8: the surrey does rectify.;
the fact that the rampart is not a submarine is not incorrect.
sent14 -> int9: if the fact that the rampart is not intrastate but apneic does not hold then it does not submarine.; sent8 -> int10: if the rampart is a kind of post-communist thing that is not majors then it does not spectate.; sent18 -> int11: if the fact that the dining-hall is not a kind of a halitus and does rectify is not correct then it is a kind of a drop-leaf.;
$hypothesis$ = the rampart is a submarine. ; $context$ = sent1: The ordinary does field ordinary. sent2: if the dining-hall is a drop-leaf then the rampart is post-communist but it is not a majors. sent3: if the dining-hall is not intrastate then the fact that either the keurboom does not spectate or it is not apneic or both does not hold. sent4: if the beta-adrenoceptor is not a drop-leaf the fact that the surrey does not rectify is not false. sent5: there exists something such that the fact that it spectates or is not apneic or both is wrong. sent6: the ordinary does field ordinary. sent7: the surrey does rectify if there is something such that the fact that it does not rectify and is a halitus does not hold. sent8: if something is post-communist but it is not a majors then that it does not spectate is right. sent9: if the keurboom does spectate that the dining-hall is not intrastate and is apneic does not hold. sent10: something does not field ordinary but it is apneic. sent11: the rampart is a submarine if the dining-hall does not numerate Unionidae and does not numerate digitization. sent12: there is something such that the fact that it rectifies and is a halitus is not right. sent13: the beta-adrenoceptor is not a drop-leaf and/or it is not a majors if the crib is post-communist. sent14: if the fact that something is non-intrastate thing that is apneic is not true it does not submarine. sent15: there is something such that the fact that the fact that it either does not spectate or is apneic or both is not false is not right. sent16: if that the dining-hall does not numerate Unionidae and it does not numerate digitization does not hold then it is not intrastate. sent17: the rampart is a drop-leaf if that the dining-hall is non-intrastate thing that is apneic is wrong. sent18: if the fact that something is not a kind of a halitus and does rectify is not right then the fact that it is a drop-leaf is right. sent19: the dining-hall does not numerate digitization. sent20: the crib is post-communist if there is something such that that it does not spectate and/or is not apneic does not hold. sent21: if the ordinary does field ordinary that it does not rectify and is a halitus is incorrect. ; $proof$ = 
void -> assump1: Let's assume that that the dining-hall does not numerate Unionidae and does not numerate digitization is incorrect.; sent16 & assump1 -> int1: the fact that the dining-hall is not intrastate is correct.; int1 & sent3 -> int2: that the keurboom either does not spectate or is not apneic or both is not right.; int2 -> int3: there exists something such that the fact that it either does not spectate or is not apneic or both is not true.; int3 & sent20 -> int4: the crib is post-communist.; int4 & sent13 -> int5: the beta-adrenoceptor either is not a drop-leaf or does not major or both.; sent21 & sent6 -> int6: that the ordinary does not rectify and is a halitus is false.; int6 -> int7: there exists something such that the fact that it does not rectify and it is a halitus is wrong.; int7 & sent7 -> int8: the surrey does rectify.; __UNKNOWN__