the chickeree reciprocates bister.
sent1: if the fact that the keypad is both not a glycerite and not serviceable is wrong it is not tympanic. sent2: something does reciprocate bister and is not a kind of a Lisu. sent3: something reciprocates bister if it is not a kind of a symploce. sent4: the fact that the chickeree is a kind of a symploce hold if it is not a Lisu. sent5: if the fact that the wrench does not hug awkwardness hold then the fact that the congress is a symploce and it hugs Eindhoven is false. sent6: if the keypad does not hug awkwardness the wrench does not hug awkwardness. sent7: the chickeree is not a symploce if the Chadian is a Lisu that does whizz. sent8: if the fact that something does impersonate or it is a sight or both is not correct then the fact that it does hug awkwardness is wrong. sent9: something reciprocates colligation and is not lexicostatistics. sent10: if something that does reciprocate colligation is not lexicostatistics then the Chadian is a Lisu. sent11: that something does impersonate and/or it does sight does not hold if it is not tympanic. sent12: if that that the Chadian whizzes and it is a Lisu is not incorrect is false then that the chickeree does not reciprocate bister is true. sent13: that that the Chadian whizzes and is a kind of a Lisu is wrong is not false if the pilaster is not a symploce. sent14: the Chadian is a Lisu if there is something such that it does reciprocate colligation and is lexicostatistics. sent15: everything hugs IDDM. sent16: everything does whizz. sent17: there is something such that it is not a Lisu.
sent9 & sent10 -> int1: the Chadian is a kind of a Lisu.; sent16 -> int2: the Chadian does whizz.; int1 & int2 -> int3: the Chadian is a kind of a Lisu and whizzes.; int3 & sent7 -> int4: the chickeree is not a kind of a symploce.; sent3 -> int5: the chickeree reciprocates bister if it is not a symploce.; int4 & int5 -> hypothesis;
the chickeree does not reciprocate bister.
sent8 -> int6: if that the keypad either impersonates or does sight or both is wrong then it does not hug awkwardness.; sent11 -> int7: if the keypad is not tympanic the fact that it does impersonate and/or is a sight is incorrect.;
$hypothesis$ = the chickeree reciprocates bister. ; $context$ = sent1: if the fact that the keypad is both not a glycerite and not serviceable is wrong it is not tympanic. sent2: something does reciprocate bister and is not a kind of a Lisu. sent3: something reciprocates bister if it is not a kind of a symploce. sent4: the fact that the chickeree is a kind of a symploce hold if it is not a Lisu. sent5: if the fact that the wrench does not hug awkwardness hold then the fact that the congress is a symploce and it hugs Eindhoven is false. sent6: if the keypad does not hug awkwardness the wrench does not hug awkwardness. sent7: the chickeree is not a symploce if the Chadian is a Lisu that does whizz. sent8: if the fact that something does impersonate or it is a sight or both is not correct then the fact that it does hug awkwardness is wrong. sent9: something reciprocates colligation and is not lexicostatistics. sent10: if something that does reciprocate colligation is not lexicostatistics then the Chadian is a Lisu. sent11: that something does impersonate and/or it does sight does not hold if it is not tympanic. sent12: if that that the Chadian whizzes and it is a Lisu is not incorrect is false then that the chickeree does not reciprocate bister is true. sent13: that that the Chadian whizzes and is a kind of a Lisu is wrong is not false if the pilaster is not a symploce. sent14: the Chadian is a Lisu if there is something such that it does reciprocate colligation and is lexicostatistics. sent15: everything hugs IDDM. sent16: everything does whizz. sent17: there is something such that it is not a Lisu. ; $proof$ = 
sent9 & sent10 -> int1: the Chadian is a kind of a Lisu.; sent16 -> int2: the Chadian does whizz.; int1 & int2 -> int3: the Chadian is a kind of a Lisu and whizzes.; int3 & sent7 -> int4: the chickeree is not a kind of a symploce.; sent3 -> int5: the chickeree reciprocates bister if it is not a symploce.; int4 & int5 -> hypothesis; __PROVED__