if the nun is extraterritorial the bluestem is inaudible.
sent1: the nun is not extraterritorial if there exists something such that that it seams collectivization and/or it is sacramental is wrong. sent2: if the IR does not seam collectivization then the fact that either the fortuneteller is an intermediate or it does seam collectivization or both is wrong. sent3: that the bluestem is inaudible and/or it is a kind of an intermediate is not right if the IR is not an intermediate. sent4: the nun does not seam collectivization. sent5: the nun is not sacramental if there exists something such that the fact that either it is extraterritorial or it is a kind of a claystone or both is wrong. sent6: that either the nun is a kind of an intermediate or it warms or both is false. sent7: there exists something such that the fact that it is not sacramental is true. sent8: if the tearaway does not seam collectivization then the fortuneteller is not ungrammatical. sent9: the fact that either the fortuneteller does seam collectivization or it is sacramental or both is not right if the pate is not sacramental. sent10: there exists something such that it seams collectivization and/or is sacramental. sent11: if there is something such that the fact that it is either a claystone or sacramental or both does not hold then the tearaway is ungrammatical. sent12: if the fact that the bluestem seams collectivization and is not sacramental is incorrect then the fortuneteller is not inaudible. sent13: the tearaway is audible. sent14: the tearaway seams collectivization if the fortuneteller is ungrammatical thing that is not a claystone. sent15: the IR is not intermediate if the fact that the tearaway is ungrammatical and is not a claystone is incorrect. sent16: if the fact that the tearaway is sacramental thing that does not seam collectivization does not hold the fortuneteller is not a claystone. sent17: the fact that the IR seams collectivization hold. sent18: if the nun is both extraterritorial and sacramental then the pate is ungrammatical. sent19: if the tearaway is ungrammatical but it is not a kind of a claystone then the bluestem is inaudible.
void -> assump1: Let's assume that the nun is extraterritorial.; void -> assump2: Let's assume that that the tearaway is ungrammatical but it is not a claystone does not hold.; sent15 & assump2 -> int1: that the IR is not a kind of an intermediate is not false.;
that the Chinese is extraterritorial but it is not a loganberry does not hold.
$hypothesis$ = if the nun is extraterritorial the bluestem is inaudible. ; $context$ = sent1: the nun is not extraterritorial if there exists something such that that it seams collectivization and/or it is sacramental is wrong. sent2: if the IR does not seam collectivization then the fact that either the fortuneteller is an intermediate or it does seam collectivization or both is wrong. sent3: that the bluestem is inaudible and/or it is a kind of an intermediate is not right if the IR is not an intermediate. sent4: the nun does not seam collectivization. sent5: the nun is not sacramental if there exists something such that the fact that either it is extraterritorial or it is a kind of a claystone or both is wrong. sent6: that either the nun is a kind of an intermediate or it warms or both is false. sent7: there exists something such that the fact that it is not sacramental is true. sent8: if the tearaway does not seam collectivization then the fortuneteller is not ungrammatical. sent9: the fact that either the fortuneteller does seam collectivization or it is sacramental or both is not right if the pate is not sacramental. sent10: there exists something such that it seams collectivization and/or is sacramental. sent11: if there is something such that the fact that it is either a claystone or sacramental or both does not hold then the tearaway is ungrammatical. sent12: if the fact that the bluestem seams collectivization and is not sacramental is incorrect then the fortuneteller is not inaudible. sent13: the tearaway is audible. sent14: the tearaway seams collectivization if the fortuneteller is ungrammatical thing that is not a claystone. sent15: the IR is not intermediate if the fact that the tearaway is ungrammatical and is not a claystone is incorrect. sent16: if the fact that the tearaway is sacramental thing that does not seam collectivization does not hold the fortuneteller is not a claystone. sent17: the fact that the IR seams collectivization hold. sent18: if the nun is both extraterritorial and sacramental then the pate is ungrammatical. sent19: if the tearaway is ungrammatical but it is not a kind of a claystone then the bluestem is inaudible. ; $proof$ = 
void -> assump1: Let's assume that the nun is extraterritorial.; void -> assump2: Let's assume that that the tearaway is ungrammatical but it is not a claystone does not hold.; sent15 & assump2 -> int1: that the IR is not a kind of an intermediate is not false.; __UNKNOWN__