the bureaucrat is not cataleptic.
sent1: that something is not vernal but it is a kind of an electrocardiogram is incorrect if it does not impersonate. sent2: something does not impersonate if it does not trip thistledown. sent3: everything is a school. sent4: there is nothing such that either it is not unquiet or it is not thrifty or both. sent5: the contraband is not a roebuck if the Cherokee is both premenstrual and thrifty. sent6: the fact that the hematochrome is a Snow and does Frenchify above does not hold. sent7: the pineapple is non-accipitrine a letterman if the pulsation is not electromagnetic. sent8: the fact that something is non-premenstrual thing that is a Manichaeism does not hold if it is not a roebuck. sent9: that the Cherokee is not a Snow and/or is not unquiet is false. sent10: if the hematochrome is a kind of a Manichaeism and is a kind of a roebuck the bureaucrat is not a cataleptic. sent11: if something does stink and is not a Snow then it is a roebuck. sent12: if the contraband is premenstrual then the submucosa trips Roswell. sent13: if that something is a kind of a Snow that does Frenchify above does not hold it is not a Snow. sent14: the hematochrome is a Manichaeism if the submucosa trips Roswell. sent15: that something is not a cataleptic and it does not trip Roswell is incorrect if that it is not premenstrual is not incorrect. sent16: that the hematochrome stinks is not incorrect. sent17: if that something is not a cataleptic and does not trip Roswell is not true then it is a kind of a cataleptic. sent18: the fact that if the contraband is a kind of a cataleptic the bureaucrat is a cataleptic is not wrong. sent19: if something is not a kind of a roebuck then it is a kind of a Manichaeism and it does not trip Roswell. sent20: the contraband is a Snow. sent21: the pulsation is not electromagnetic. sent22: the contraband is not premenstrual if that the submucosa is not premenstrual but it is a Manichaeism does not hold. sent23: the contraband is premenstrual if that the Cherokee is not unquiet or is not thrifty or both is wrong. sent24: if something is both not accipitrine and a letterman then it does not trip thistledown. sent25: that if the hormone does not Frenchify above the hematochrome is not a kind of a Snow and it does not stink is right. sent26: the Cherokee does not trip Roswell.
sent4 -> int1: that the fact that either the Cherokee is not unquiet or it is not thrifty or both is true does not hold.; int1 & sent23 -> int2: the contraband is premenstrual.; int2 & sent12 -> int3: the fact that the submucosa trips Roswell is true.; int3 & sent14 -> int4: the hematochrome is a kind of a Manichaeism.; sent11 -> int5: the hematochrome is a roebuck if it does stink and it is not a Snow.; sent13 -> int6: if the fact that the hematochrome is a Snow and it does Frenchify above is not true it is not a kind of a Snow.; int6 & sent6 -> int7: the hematochrome is not a Snow.; sent16 & int7 -> int8: the hematochrome does stink but it is not a Snow.; int5 & int8 -> int9: the hematochrome is a roebuck.; int4 & int9 -> int10: the hematochrome is both a Manichaeism and a roebuck.; int10 & sent10 -> hypothesis;
the bureaucrat is cataleptic.
sent17 -> int11: that the contraband is a cataleptic hold if that it is a kind of non-cataleptic thing that does not trip Roswell is incorrect.; sent15 -> int12: if the contraband is not premenstrual that it is not a cataleptic and it does not trip Roswell is not right.; sent8 -> int13: the fact that the submucosa is not premenstrual and is a Manichaeism does not hold if it is not a roebuck.; sent1 -> int14: that the pineapple is not vernal but it is an electrocardiogram does not hold if it does not impersonate.; sent2 -> int15: if the pineapple does not trip thistledown it does not impersonate.; sent24 -> int16: if the fact that the pineapple is not accipitrine but it is a letterman is true then it does not trip thistledown.; sent7 & sent21 -> int17: the pineapple is not accipitrine and is a letterman.; int16 & int17 -> int18: the pineapple does not trip thistledown.; int15 & int18 -> int19: the fact that the pineapple does not impersonate is not incorrect.; int14 & int19 -> int20: that the pineapple is not vernal and is an electrocardiogram does not hold.; int20 -> int21: there is something such that the fact that it is non-vernal and an electrocardiogram is wrong.;
$hypothesis$ = the bureaucrat is not cataleptic. ; $context$ = sent1: that something is not vernal but it is a kind of an electrocardiogram is incorrect if it does not impersonate. sent2: something does not impersonate if it does not trip thistledown. sent3: everything is a school. sent4: there is nothing such that either it is not unquiet or it is not thrifty or both. sent5: the contraband is not a roebuck if the Cherokee is both premenstrual and thrifty. sent6: the fact that the hematochrome is a Snow and does Frenchify above does not hold. sent7: the pineapple is non-accipitrine a letterman if the pulsation is not electromagnetic. sent8: the fact that something is non-premenstrual thing that is a Manichaeism does not hold if it is not a roebuck. sent9: that the Cherokee is not a Snow and/or is not unquiet is false. sent10: if the hematochrome is a kind of a Manichaeism and is a kind of a roebuck the bureaucrat is not a cataleptic. sent11: if something does stink and is not a Snow then it is a roebuck. sent12: if the contraband is premenstrual then the submucosa trips Roswell. sent13: if that something is a kind of a Snow that does Frenchify above does not hold it is not a Snow. sent14: the hematochrome is a Manichaeism if the submucosa trips Roswell. sent15: that something is not a cataleptic and it does not trip Roswell is incorrect if that it is not premenstrual is not incorrect. sent16: that the hematochrome stinks is not incorrect. sent17: if that something is not a cataleptic and does not trip Roswell is not true then it is a kind of a cataleptic. sent18: the fact that if the contraband is a kind of a cataleptic the bureaucrat is a cataleptic is not wrong. sent19: if something is not a kind of a roebuck then it is a kind of a Manichaeism and it does not trip Roswell. sent20: the contraband is a Snow. sent21: the pulsation is not electromagnetic. sent22: the contraband is not premenstrual if that the submucosa is not premenstrual but it is a Manichaeism does not hold. sent23: the contraband is premenstrual if that the Cherokee is not unquiet or is not thrifty or both is wrong. sent24: if something is both not accipitrine and a letterman then it does not trip thistledown. sent25: that if the hormone does not Frenchify above the hematochrome is not a kind of a Snow and it does not stink is right. sent26: the Cherokee does not trip Roswell. ; $proof$ = 
sent4 -> int1: that the fact that either the Cherokee is not unquiet or it is not thrifty or both is true does not hold.; int1 & sent23 -> int2: the contraband is premenstrual.; int2 & sent12 -> int3: the fact that the submucosa trips Roswell is true.; int3 & sent14 -> int4: the hematochrome is a kind of a Manichaeism.; sent11 -> int5: the hematochrome is a roebuck if it does stink and it is not a Snow.; sent13 -> int6: if the fact that the hematochrome is a Snow and it does Frenchify above is not true it is not a kind of a Snow.; int6 & sent6 -> int7: the hematochrome is not a Snow.; sent16 & int7 -> int8: the hematochrome does stink but it is not a Snow.; int5 & int8 -> int9: the hematochrome is a roebuck.; int4 & int9 -> int10: the hematochrome is both a Manichaeism and a roebuck.; int10 & sent10 -> hypothesis; __PROVED__