the grits is a jukebox.
sent1: the nautilus is a Belize if it hefts Anoectochilus. sent2: if there exists something such that the fact that it does not heft Anoectochilus and is a Moro is not right the nautilus does heft Anoectochilus. sent3: if the nailer is an ale then that the attack is not a kind of a urocele and does not cohere pen is false. sent4: the fact that something is a kind of a bummer that does not cohere Karok is false if it is a allocution. sent5: the fact that the Caddo does cohere pen but it is not a kind of a urocele is wrong. sent6: the Caddo is not a allocution. sent7: if the grits is a kind of a jukebox the blouse interposes. sent8: something is a allocution if that it coheres pen is not incorrect. sent9: if the fact that that the foulard is not moderating or it is not non-branchiate or both does not hold hold then the nailer is an ale. sent10: if the fact that something is a bummer but it does not cohere Karok does not hold then it is not a bummer. sent11: if something is a Belize that either the foulard does not moderate or it is branchiate or both does not hold. sent12: if the fact that something does not cohere Karok and it is not a cynancum is incorrect then it does not interpose. sent13: the Caddo does not interpose if the ferule does not interpose. sent14: if the blouse is not a allocution that the grits does not cohere Karok and is not a cynancum is false. sent15: if the Caddo is not a allocution then it coheres Karok and it is a kind of a cynancum. sent16: if something is a bummer and/or interposes then the Caddo is not a kind of a cynancum. sent17: there exists something such that that it does not heft Anoectochilus and is a kind of a Moro is wrong. sent18: if there is something such that it is a bummer then the Caddo is not a cynancum. sent19: if the fact that something is not a urocele and it does not cohere pen is wrong then it cohere pen. sent20: something is not a kind of a cynancum or it does not interpose or both if it is not a bummer. sent21: the grits is a jukebox if the blouse is a jukebox.
void -> assump1: Let's assume that the grits is a jukebox.; sent7 & assump1 -> int1: the blouse interposes.; int1 -> int2: the blouse is a bummer and/or it does interpose.; int2 -> int3: either something is a bummer or it does interpose or both.; int3 & sent16 -> int4: the Caddo is not a kind of a cynancum.; sent15 & sent6 -> int5: the Caddo coheres Karok and is a cynancum.; int5 -> int6: the Caddo is a cynancum.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the grits is not a bummer.
sent12 -> int8: if that the grits does not cohere Karok and is not a cynancum does not hold it does not interpose.; sent5 -> int9: there exists something such that that it coheres pen and it is not a kind of a urocele does not hold.;
$hypothesis$ = the grits is a jukebox. ; $context$ = sent1: the nautilus is a Belize if it hefts Anoectochilus. sent2: if there exists something such that the fact that it does not heft Anoectochilus and is a Moro is not right the nautilus does heft Anoectochilus. sent3: if the nailer is an ale then that the attack is not a kind of a urocele and does not cohere pen is false. sent4: the fact that something is a kind of a bummer that does not cohere Karok is false if it is a allocution. sent5: the fact that the Caddo does cohere pen but it is not a kind of a urocele is wrong. sent6: the Caddo is not a allocution. sent7: if the grits is a kind of a jukebox the blouse interposes. sent8: something is a allocution if that it coheres pen is not incorrect. sent9: if the fact that that the foulard is not moderating or it is not non-branchiate or both does not hold hold then the nailer is an ale. sent10: if the fact that something is a bummer but it does not cohere Karok does not hold then it is not a bummer. sent11: if something is a Belize that either the foulard does not moderate or it is branchiate or both does not hold. sent12: if the fact that something does not cohere Karok and it is not a cynancum is incorrect then it does not interpose. sent13: the Caddo does not interpose if the ferule does not interpose. sent14: if the blouse is not a allocution that the grits does not cohere Karok and is not a cynancum is false. sent15: if the Caddo is not a allocution then it coheres Karok and it is a kind of a cynancum. sent16: if something is a bummer and/or interposes then the Caddo is not a kind of a cynancum. sent17: there exists something such that that it does not heft Anoectochilus and is a kind of a Moro is wrong. sent18: if there is something such that it is a bummer then the Caddo is not a cynancum. sent19: if the fact that something is not a urocele and it does not cohere pen is wrong then it cohere pen. sent20: something is not a kind of a cynancum or it does not interpose or both if it is not a bummer. sent21: the grits is a jukebox if the blouse is a jukebox. ; $proof$ = 
void -> assump1: Let's assume that the grits is a jukebox.; sent7 & assump1 -> int1: the blouse interposes.; int1 -> int2: the blouse is a bummer and/or it does interpose.; int2 -> int3: either something is a bummer or it does interpose or both.; int3 & sent16 -> int4: the Caddo is not a kind of a cynancum.; sent15 & sent6 -> int5: the Caddo coheres Karok and is a cynancum.; int5 -> int6: the Caddo is a cynancum.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__