that the evacuation is a Edwardian that bobs accordion does not hold.
sent1: there are Edwardian things. sent2: the evacuation mistakes Lear. sent3: something is a Edwardian that bobs accordion if it does not solicit. sent4: if something is not impressionistic it is a Cetus and not an outing. sent5: the topsoil solicits if the louver does bob accordion. sent6: that the renegade outs and is not a kind of a Cetus is not right if the equatorial is not impressionistic. sent7: the hood does not bob accordion. sent8: the renegade mistakes self-depreciation if the gin is a kind of a Cetus. sent9: if the abdicator is not an outing then the louver is a Edwardian and it mistakes self-depreciation. sent10: if the gin mistakes Lear then the abdicator mistakes self-depreciation. sent11: the renegade does out if something that does mistake self-depreciation is uninfluential. sent12: the evacuation does bob accordion and does solicit if the topsoil is influential. sent13: the renegade mistakes Lear if the gin is a Merovingian but it does not mistakes Lear. sent14: that the abdicator does mistake self-depreciation is right if the gin mistake self-depreciation. sent15: there exists something such that it is presocratic. sent16: the equatorial is not impressionistic. sent17: the gin does not solicit. sent18: the topsoil mistakes Lear if the renegade mistakes Lear. sent19: if the louver is a Edwardian the evacuation is a kind of a Edwardian. sent20: the fact that the louver bobs accordion but it is not an outing is false. sent21: something is outward. sent22: if the louver is not impressionistic then the fact that the equatorial bobs accordion and is impressionistic is not correct. sent23: if the topsoil solicits the abdicator is uninfluential. sent24: if that something is a kind of a tail and is not a sundial is false it is not impressionistic. sent25: the fact that the abdicator is a tail but it is not a sundial is not true. sent26: if the fact that the renegade is a kind of outing thing that is not a kind of a Cetus does not hold then it is not an outing. sent27: everything either mistakes Lear or mistakes self-depreciation or both. sent28: everything either does bob accordion or is an outing or both. sent29: the fact that the renegade is outing and it solicits is not right.
void -> assump1: Let's assume that the louver bobs accordion.; sent5 & assump1 -> int1: the topsoil does solicit.; int1 & sent23 -> int2: the abdicator is uninfluential.; sent27 -> int3: either the gin does mistake Lear or it mistakes self-depreciation or both.; int3 & sent10 & sent14 -> int4: the abdicator does mistake self-depreciation.; int2 & int4 -> int5: the abdicator mistakes self-depreciation and it is uninfluential.; int5 -> int6: there is something such that it mistakes self-depreciation and is uninfluential.; int6 & sent11 -> int7: that the renegade is outing hold.; sent6 & sent16 -> int8: the fact that the renegade is an outing that is not a Cetus is not right.; sent26 & int8 -> int9: the renegade does not out.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the louver does not bob accordion.;
the evacuation is a kind of a Edwardian and it bobs accordion.
sent3 -> int12: if the evacuation does not solicit it is a Edwardian and it bobs accordion.;
$hypothesis$ = that the evacuation is a Edwardian that bobs accordion does not hold. ; $context$ = sent1: there are Edwardian things. sent2: the evacuation mistakes Lear. sent3: something is a Edwardian that bobs accordion if it does not solicit. sent4: if something is not impressionistic it is a Cetus and not an outing. sent5: the topsoil solicits if the louver does bob accordion. sent6: that the renegade outs and is not a kind of a Cetus is not right if the equatorial is not impressionistic. sent7: the hood does not bob accordion. sent8: the renegade mistakes self-depreciation if the gin is a kind of a Cetus. sent9: if the abdicator is not an outing then the louver is a Edwardian and it mistakes self-depreciation. sent10: if the gin mistakes Lear then the abdicator mistakes self-depreciation. sent11: the renegade does out if something that does mistake self-depreciation is uninfluential. sent12: the evacuation does bob accordion and does solicit if the topsoil is influential. sent13: the renegade mistakes Lear if the gin is a Merovingian but it does not mistakes Lear. sent14: that the abdicator does mistake self-depreciation is right if the gin mistake self-depreciation. sent15: there exists something such that it is presocratic. sent16: the equatorial is not impressionistic. sent17: the gin does not solicit. sent18: the topsoil mistakes Lear if the renegade mistakes Lear. sent19: if the louver is a Edwardian the evacuation is a kind of a Edwardian. sent20: the fact that the louver bobs accordion but it is not an outing is false. sent21: something is outward. sent22: if the louver is not impressionistic then the fact that the equatorial bobs accordion and is impressionistic is not correct. sent23: if the topsoil solicits the abdicator is uninfluential. sent24: if that something is a kind of a tail and is not a sundial is false it is not impressionistic. sent25: the fact that the abdicator is a tail but it is not a sundial is not true. sent26: if the fact that the renegade is a kind of outing thing that is not a kind of a Cetus does not hold then it is not an outing. sent27: everything either mistakes Lear or mistakes self-depreciation or both. sent28: everything either does bob accordion or is an outing or both. sent29: the fact that the renegade is outing and it solicits is not right. ; $proof$ = 
void -> assump1: Let's assume that the louver bobs accordion.; sent5 & assump1 -> int1: the topsoil does solicit.; int1 & sent23 -> int2: the abdicator is uninfluential.; sent27 -> int3: either the gin does mistake Lear or it mistakes self-depreciation or both.; int3 & sent10 & sent14 -> int4: the abdicator does mistake self-depreciation.; int2 & int4 -> int5: the abdicator mistakes self-depreciation and it is uninfluential.; int5 -> int6: there is something such that it mistakes self-depreciation and is uninfluential.; int6 & sent11 -> int7: that the renegade is outing hold.; sent6 & sent16 -> int8: the fact that the renegade is an outing that is not a Cetus is not right.; sent26 & int8 -> int9: the renegade does not out.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the louver does not bob accordion.; __UNKNOWN__