the bonbon is a hemosiderin that is not a kind of a Price.
sent1: the vulcanite is not a Guyanese and is not chaetal. sent2: the mayeng pleaches rathole. sent3: if a Spizella pleaches rathole the fact that the rathole is cataclinal is right. sent4: if the mayeng is small-capitalization the greyhound does work vulvectomy. sent5: the greyhound does work vulvectomy if the mayeng is cataclinal. sent6: The rathole pleaches mayeng. sent7: if something is a kind of a Spizella that it is a hemosiderin but not a Price is incorrect. sent8: the fact that something barracks shamanism and it is hypertonic is not right if it is not a heliograph. sent9: if something is not a Abudefduf then either it is cataclinal or it is small-capitalization or both. sent10: the grain is not a kind of a Abudefduf if the fact that the vulcanite is both non-cataclinal and not non-small-capitalization is not true. sent11: something is not a Calvary if that the fact that it is a kind of a Spizella and it does not pleach rathole is right does not hold. sent12: if the rathole is cataclinal then the fact that the vulcanite is not cataclinal but small-capitalization is not right. sent13: something that is not granuliferous is not a hemosiderin and not a Price. sent14: the grain is not hypertonic. sent15: if that the rathole is cataclinal is not wrong the fact that that the vulcanite is not cataclinal and is small-capitalization hold does not hold. sent16: that the vulcanite is cataclinal and is small-capitalization is not right. sent17: the fact that the bonbon is both non-small-capitalization and a Price is not right. sent18: the fact that the greyhound is a kind of a Spizella but it does not pleach rathole is wrong if something is not a Spizella. sent19: if the mayeng is not a Spizella then the bonbon is a hemosiderin. sent20: the mayeng is not a kind of a Abudefduf if something that is not a kind of a hemosiderin is not a Price. sent21: something is not a kind of a Spizella if the fact that it does barrack shamanism and it is hypertonic is false. sent22: a non-Guyanese thing that is not chaetal does not heliograph. sent23: the mayeng is a kind of a Spizella if the fact that it is not cataclinal is not wrong. sent24: the bonbon is a kind of a hemosiderin. sent25: the grain pleaches rathole. sent26: there is something such that it is not a Abudefduf. sent27: the bonbon is a hemosiderin and is not a Price if the mayeng is not a Spizella.
void -> assump1: Let's assume that the mayeng is a Spizella.; assump1 & sent2 -> int1: that the mayeng is a Spizella and does pleach rathole is not wrong.; int1 -> int2: something is a kind of a Spizella and it pleaches rathole.; int2 & sent3 -> int3: the rathole is cataclinal.; int3 & sent15 -> int4: the fact that the vulcanite is non-cataclinal and small-capitalization is false.; int4 & sent10 -> int5: the grain is not a Abudefduf.;
the fact that the fact that the bonbon is a hemosiderin and is not a kind of a Price is true is false.
sent7 -> int6: if the bonbon is a Spizella then that that it is a hemosiderin and it is not a kind of a Price is correct is not true.;
$hypothesis$ = the bonbon is a hemosiderin that is not a kind of a Price. ; $context$ = sent1: the vulcanite is not a Guyanese and is not chaetal. sent2: the mayeng pleaches rathole. sent3: if a Spizella pleaches rathole the fact that the rathole is cataclinal is right. sent4: if the mayeng is small-capitalization the greyhound does work vulvectomy. sent5: the greyhound does work vulvectomy if the mayeng is cataclinal. sent6: The rathole pleaches mayeng. sent7: if something is a kind of a Spizella that it is a hemosiderin but not a Price is incorrect. sent8: the fact that something barracks shamanism and it is hypertonic is not right if it is not a heliograph. sent9: if something is not a Abudefduf then either it is cataclinal or it is small-capitalization or both. sent10: the grain is not a kind of a Abudefduf if the fact that the vulcanite is both non-cataclinal and not non-small-capitalization is not true. sent11: something is not a Calvary if that the fact that it is a kind of a Spizella and it does not pleach rathole is right does not hold. sent12: if the rathole is cataclinal then the fact that the vulcanite is not cataclinal but small-capitalization is not right. sent13: something that is not granuliferous is not a hemosiderin and not a Price. sent14: the grain is not hypertonic. sent15: if that the rathole is cataclinal is not wrong the fact that that the vulcanite is not cataclinal and is small-capitalization hold does not hold. sent16: that the vulcanite is cataclinal and is small-capitalization is not right. sent17: the fact that the bonbon is both non-small-capitalization and a Price is not right. sent18: the fact that the greyhound is a kind of a Spizella but it does not pleach rathole is wrong if something is not a Spizella. sent19: if the mayeng is not a Spizella then the bonbon is a hemosiderin. sent20: the mayeng is not a kind of a Abudefduf if something that is not a kind of a hemosiderin is not a Price. sent21: something is not a kind of a Spizella if the fact that it does barrack shamanism and it is hypertonic is false. sent22: a non-Guyanese thing that is not chaetal does not heliograph. sent23: the mayeng is a kind of a Spizella if the fact that it is not cataclinal is not wrong. sent24: the bonbon is a kind of a hemosiderin. sent25: the grain pleaches rathole. sent26: there is something such that it is not a Abudefduf. sent27: the bonbon is a hemosiderin and is not a Price if the mayeng is not a Spizella. ; $proof$ = 
void -> assump1: Let's assume that the mayeng is a Spizella.; assump1 & sent2 -> int1: that the mayeng is a Spizella and does pleach rathole is not wrong.; int1 -> int2: something is a kind of a Spizella and it pleaches rathole.; int2 & sent3 -> int3: the rathole is cataclinal.; int3 & sent15 -> int4: the fact that the vulcanite is non-cataclinal and small-capitalization is false.; int4 & sent10 -> int5: the grain is not a Abudefduf.; __UNKNOWN__