the ornithine is a caricature and it is a Belsen.
sent1: the fact that the mush does not roll bouquet and it is not downstream is false. sent2: the ornithine does not freckle hysterosalpingogram and does not taste. sent3: something is downstream if it farts ornithine. sent4: that the tramline is not anatropous and it is not a kind of a ma is wrong. sent5: the fact that the ornithine is a beater if either something farts ornithine or it is downstream or both is correct. sent6: the fact that the hysterosalpingogram does roll bouquet but it is not a beater is not true. sent7: if something that does not roll bouquet is not a beater the mush does fart ornithine. sent8: the mush is Prakritic and is a kind of a ma. sent9: there exists something such that it is non-anatropous and it does not caricature. sent10: if something is a Belsen then it is anatropous. sent11: the tramline is not a ma. sent12: if there is something such that the fact that it is not a ma is correct then the mush is not downstream. sent13: the ornithine caricatures. sent14: the mush does roll bouquet if the fact that it is not anatropous and it is not downstream is wrong. sent15: if the fact that the hysterosalpingogram does not roll bouquet and is not a beater is not right then it is anatropous. sent16: the ornithine is not non-anatropous if that it is not a Belsen and it is not downstream does not hold. sent17: the mush does fart ornithine if something that does not roll bouquet is a beater. sent18: something does not fart ornithine and it is not downstream if it is not anatropous. sent19: the tramline is a kind of a Belsen that caricatures if the hallstand is not a kind of a ma. sent20: the fact that something does caricature and it is a Belsen is not correct if it does not fart ornithine. sent21: that the mush is not a Emmy and is anatropous does not hold if it is a kind of a ma. sent22: there is something such that that it is not a kind of a Emmy and is not Prakritic is incorrect.
void -> assump1: Let's assume that the hysterosalpingogram does not roll bouquet and it is not a beater.; assump1 -> int1: something does not roll bouquet and is not a beater.; int1 & sent7 -> int2: the mush farts ornithine.; sent3 -> int3: if the mush does fart ornithine the fact that it is not downstream is incorrect.; int2 & int3 -> int4: the mush is downstream.; sent11 -> int5: something is not a ma.; int5 & sent12 -> int6: the mush is not downstream.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the hysterosalpingogram does not roll bouquet and is not a kind of a beater is not right.; int8 & sent15 -> int9: the hysterosalpingogram is anatropous.;
that the ornithine caricatures and it is a Belsen is not correct.
sent20 -> int10: the fact that the ornithine does caricature and it is a Belsen does not hold if it does not fart ornithine.; sent18 -> int11: the ornithine does not fart ornithine and is not downstream if it is not anatropous.; sent8 -> int12: the mush is a ma.; sent21 & int12 -> int13: that the mush is not a kind of a Emmy but it is anatropous is not true.; int13 -> int14: there exists something such that that it is not a Emmy and it is not non-anatropous is not true.;
$hypothesis$ = the ornithine is a caricature and it is a Belsen. ; $context$ = sent1: the fact that the mush does not roll bouquet and it is not downstream is false. sent2: the ornithine does not freckle hysterosalpingogram and does not taste. sent3: something is downstream if it farts ornithine. sent4: that the tramline is not anatropous and it is not a kind of a ma is wrong. sent5: the fact that the ornithine is a beater if either something farts ornithine or it is downstream or both is correct. sent6: the fact that the hysterosalpingogram does roll bouquet but it is not a beater is not true. sent7: if something that does not roll bouquet is not a beater the mush does fart ornithine. sent8: the mush is Prakritic and is a kind of a ma. sent9: there exists something such that it is non-anatropous and it does not caricature. sent10: if something is a Belsen then it is anatropous. sent11: the tramline is not a ma. sent12: if there is something such that the fact that it is not a ma is correct then the mush is not downstream. sent13: the ornithine caricatures. sent14: the mush does roll bouquet if the fact that it is not anatropous and it is not downstream is wrong. sent15: if the fact that the hysterosalpingogram does not roll bouquet and is not a beater is not right then it is anatropous. sent16: the ornithine is not non-anatropous if that it is not a Belsen and it is not downstream does not hold. sent17: the mush does fart ornithine if something that does not roll bouquet is a beater. sent18: something does not fart ornithine and it is not downstream if it is not anatropous. sent19: the tramline is a kind of a Belsen that caricatures if the hallstand is not a kind of a ma. sent20: the fact that something does caricature and it is a Belsen is not correct if it does not fart ornithine. sent21: that the mush is not a Emmy and is anatropous does not hold if it is a kind of a ma. sent22: there is something such that that it is not a kind of a Emmy and is not Prakritic is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the hysterosalpingogram does not roll bouquet and it is not a beater.; assump1 -> int1: something does not roll bouquet and is not a beater.; int1 & sent7 -> int2: the mush farts ornithine.; sent3 -> int3: if the mush does fart ornithine the fact that it is not downstream is incorrect.; int2 & int3 -> int4: the mush is downstream.; sent11 -> int5: something is not a ma.; int5 & sent12 -> int6: the mush is not downstream.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the hysterosalpingogram does not roll bouquet and is not a kind of a beater is not right.; int8 & sent15 -> int9: the hysterosalpingogram is anatropous.; __UNKNOWN__