there exists something such that if it is not lunisolar it is a gamma-interferon or not an additive or both.
sent1: there exists something such that if it is lunisolar it is a gamma-interferon or it is not an additive or both. sent2: there is something such that if it is not lunisolar then it is a kind of a gamma-interferon or it is an additive or both. sent3: there is something such that if it is non-metropolitan it dims Neopolitan or does not intumesce or both. sent4: something that is not a kind of a national either is psychoactive or does not dim capaciousness or both. sent5: the chlorite is a gamma-interferon and/or it is not an additive if it is lunisolar. sent6: something is a kind of a gamma-interferon or it is not an additive or both if it is lunisolar. sent7: the fact that if something is not lunisolar then either it is a gamma-interferon or it is an additive or both hold. sent8: if the chlorite is not lunisolar it is a gamma-interferon or it is an additive or both.
there is something such that if it is not a national it is psychoactive and/or it does not dim capaciousness.
sent4 -> int1: the outstation is psychoactive or it does not dim capaciousness or both if it is not national.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not lunisolar it is a gamma-interferon or not an additive or both. ; $context$ = sent1: there exists something such that if it is lunisolar it is a gamma-interferon or it is not an additive or both. sent2: there is something such that if it is not lunisolar then it is a kind of a gamma-interferon or it is an additive or both. sent3: there is something such that if it is non-metropolitan it dims Neopolitan or does not intumesce or both. sent4: something that is not a kind of a national either is psychoactive or does not dim capaciousness or both. sent5: the chlorite is a gamma-interferon and/or it is not an additive if it is lunisolar. sent6: something is a kind of a gamma-interferon or it is not an additive or both if it is lunisolar. sent7: the fact that if something is not lunisolar then either it is a gamma-interferon or it is an additive or both hold. sent8: if the chlorite is not lunisolar it is a gamma-interferon or it is an additive or both. ; $proof$ = 
__UNKNOWN__