the jongleur bears Willis but it is not a Keokuk.
sent1: if something is a kind of a Desmodus then that it bears Willis and it is not a Keokuk does not hold. sent2: if the sou'wester does not interject then it is not a mug. sent3: something is not a kind of a mug if the fact that it does superscribe paygrade and interjects is not true. sent4: there is something such that it is a Desmodus. sent5: something does not mug if that it bears Willis and is a Keokuk is wrong. sent6: the jongleur bears Willis. sent7: that the optimist is not a Keokuk is not wrong. sent8: if that the sou'wester does bear Willis and does mug does not hold then it is not a kind of a Keokuk. sent9: the jongleur bears Willis but it does not superscribe paygrade. sent10: the jongleur bears Willis and is not a mug. sent11: there exists something such that it is a Keokuk. sent12: something is not a kind of a mug if it does not interject. sent13: that that the jongleur does superscribe paygrade and does mug is wrong is right if there exists something such that it is a Keokuk. sent14: there exists something such that the fact that it is topological is right. sent15: the javelin is not a Keokuk. sent16: if the fact that the sou'wester does bear Willis is not true then the jongleur is a kind of a Keokuk but it does not superscribe paygrade. sent17: the fact that that the fact that the sou'wester superscribes paygrade and does interject is incorrect is correct if there exists something such that it is a kind of a Desmodus hold. sent18: if the sou'wester does not interject then the jongleur superscribes paygrade and does not bear Willis. sent19: if that the sou'wester is both a Keokuk and a mug is incorrect the fact that it does not superscribe paygrade is right. sent20: the jongleur bears Willis but it is not a Keokuk if the sou'wester does not mug. sent21: if the sou'wester is not a kind of a mug the jongleur bears Willis.
sent4 & sent17 -> int1: the fact that the sou'wester superscribes paygrade and it interjects is incorrect.; sent3 -> int2: the sou'wester does not mug if that it superscribes paygrade and interjects is not correct.; int1 & int2 -> int3: that the sou'wester does not mug is not incorrect.; int3 & sent20 -> hypothesis;
that the jongleur does bear Willis and is not a Keokuk is incorrect.
sent1 -> int4: that the sou'wester bears Willis and is not a kind of a Keokuk is not correct if the fact that it is a kind of a Desmodus is right.;
$hypothesis$ = the jongleur bears Willis but it is not a Keokuk. ; $context$ = sent1: if something is a kind of a Desmodus then that it bears Willis and it is not a Keokuk does not hold. sent2: if the sou'wester does not interject then it is not a mug. sent3: something is not a kind of a mug if the fact that it does superscribe paygrade and interjects is not true. sent4: there is something such that it is a Desmodus. sent5: something does not mug if that it bears Willis and is a Keokuk is wrong. sent6: the jongleur bears Willis. sent7: that the optimist is not a Keokuk is not wrong. sent8: if that the sou'wester does bear Willis and does mug does not hold then it is not a kind of a Keokuk. sent9: the jongleur bears Willis but it does not superscribe paygrade. sent10: the jongleur bears Willis and is not a mug. sent11: there exists something such that it is a Keokuk. sent12: something is not a kind of a mug if it does not interject. sent13: that that the jongleur does superscribe paygrade and does mug is wrong is right if there exists something such that it is a Keokuk. sent14: there exists something such that the fact that it is topological is right. sent15: the javelin is not a Keokuk. sent16: if the fact that the sou'wester does bear Willis is not true then the jongleur is a kind of a Keokuk but it does not superscribe paygrade. sent17: the fact that that the fact that the sou'wester superscribes paygrade and does interject is incorrect is correct if there exists something such that it is a kind of a Desmodus hold. sent18: if the sou'wester does not interject then the jongleur superscribes paygrade and does not bear Willis. sent19: if that the sou'wester is both a Keokuk and a mug is incorrect the fact that it does not superscribe paygrade is right. sent20: the jongleur bears Willis but it is not a Keokuk if the sou'wester does not mug. sent21: if the sou'wester is not a kind of a mug the jongleur bears Willis. ; $proof$ = 
sent4 & sent17 -> int1: the fact that the sou'wester superscribes paygrade and it interjects is incorrect.; sent3 -> int2: the sou'wester does not mug if that it superscribes paygrade and interjects is not correct.; int1 & int2 -> int3: that the sou'wester does not mug is not incorrect.; int3 & sent20 -> hypothesis; __PROVED__