there is something such that that it is not funerary and/or it is not a kind of a tribalization does not hold.
sent1: the oxyphenbutazone is not a smoothed. sent2: the chiaroscuro counterplots vitamin if it is a recitalist. sent3: that the activator does not bop constitutionalism is right. sent4: that there exists something such that it does not malinger stamina and/or it is not a kind of a balbriggan is not wrong. sent5: something is Tibetan if that it is not a smoothed is not wrong. sent6: if that the langbeinite is not funerary or it is not a tribalization or both is not false then it is not leprous. sent7: the kremlin is non-mass-spectrometric thing that is not a kind of a smoothed if there is something such that it is not leprous. sent8: the activator is a smoothed. sent9: the langbeinite is not leprous if that it is not a kind of a tribalization is right. sent10: if there is something such that it is non-leprous then the kremlin is not mass-spectrometric. sent11: something is pyknotic. sent12: the activator does not bop constitutionalism if there is something such that it counterplots vitamin. sent13: there exists something such that the fact that it is funerary or it is not a tribalization or both is false. sent14: that the chiaroscuro does not compile and is not a recitalist is false. sent15: if that the chiaroscuro does not compile and it is not a recitalist is not true it does counterplot vitamin. sent16: the kremlin is not mass-spectrometric. sent17: the fact that the chiaroscuro does not compile and is a kind of a recitalist is not true. sent18: that the langbeinite is a tribalization is not false. sent19: there is something such that it is leprous. sent20: the kremlin does not compile. sent21: the activator is a kind of a tribalization. sent22: the langbeinite does not counterplot vitamin. sent23: if there exists something such that that it does counterplot vitamin hold then the activator is not microcephalic and it does not bop constitutionalism.
void -> assump1: Let's assume that the langbeinite is not funerary or is not a tribalization or both.; sent6 & assump1 -> int1: that the langbeinite is not leprous hold.; int1 -> int2: there is something such that it is not leprous.; int2 & sent7 -> int3: the kremlin is not mass-spectrometric and not smoothed.; int3 -> int4: the kremlin is not a kind of a smoothed.; sent5 -> int5: if the kremlin does not smooth then it is a Tibetan.; int4 & int5 -> int6: the kremlin is a kind of a Tibetan.; sent15 & sent14 -> int7: the chiaroscuro does counterplot vitamin.; int7 -> int8: there exists something such that it counterplots vitamin.; int8 & sent23 -> int9: the activator is not microcephalic and it does not bop constitutionalism.; int9 -> int10: the activator is not microcephalic.;
$hypothesis$ = there is something such that that it is not funerary and/or it is not a kind of a tribalization does not hold. ; $context$ = sent1: the oxyphenbutazone is not a smoothed. sent2: the chiaroscuro counterplots vitamin if it is a recitalist. sent3: that the activator does not bop constitutionalism is right. sent4: that there exists something such that it does not malinger stamina and/or it is not a kind of a balbriggan is not wrong. sent5: something is Tibetan if that it is not a smoothed is not wrong. sent6: if that the langbeinite is not funerary or it is not a tribalization or both is not false then it is not leprous. sent7: the kremlin is non-mass-spectrometric thing that is not a kind of a smoothed if there is something such that it is not leprous. sent8: the activator is a smoothed. sent9: the langbeinite is not leprous if that it is not a kind of a tribalization is right. sent10: if there is something such that it is non-leprous then the kremlin is not mass-spectrometric. sent11: something is pyknotic. sent12: the activator does not bop constitutionalism if there is something such that it counterplots vitamin. sent13: there exists something such that the fact that it is funerary or it is not a tribalization or both is false. sent14: that the chiaroscuro does not compile and is not a recitalist is false. sent15: if that the chiaroscuro does not compile and it is not a recitalist is not true it does counterplot vitamin. sent16: the kremlin is not mass-spectrometric. sent17: the fact that the chiaroscuro does not compile and is a kind of a recitalist is not true. sent18: that the langbeinite is a tribalization is not false. sent19: there is something such that it is leprous. sent20: the kremlin does not compile. sent21: the activator is a kind of a tribalization. sent22: the langbeinite does not counterplot vitamin. sent23: if there exists something such that that it does counterplot vitamin hold then the activator is not microcephalic and it does not bop constitutionalism. ; $proof$ = 
void -> assump1: Let's assume that the langbeinite is not funerary or is not a tribalization or both.; sent6 & assump1 -> int1: that the langbeinite is not leprous hold.; int1 -> int2: there is something such that it is not leprous.; int2 & sent7 -> int3: the kremlin is not mass-spectrometric and not smoothed.; int3 -> int4: the kremlin is not a kind of a smoothed.; sent5 -> int5: if the kremlin does not smooth then it is a Tibetan.; int4 & int5 -> int6: the kremlin is a kind of a Tibetan.; sent15 & sent14 -> int7: the chiaroscuro does counterplot vitamin.; int7 -> int8: there exists something such that it counterplots vitamin.; int8 & sent23 -> int9: the activator is not microcephalic and it does not bop constitutionalism.; int9 -> int10: the activator is not microcephalic.; __UNKNOWN__