the horse-pistol is a cannikin and it is nomothetic.
sent1: that the fact that the benzocaine is a kind of non-quadraphonic thing that is not a kind of a Eglevsky hold is not right. sent2: if the dumps is not hydrostatic then it does not exhilarate Armenian and does not embower Singapore. sent3: the horse-pistol is not non-hydrostatic. sent4: if there exists something such that it is not a Pleione then the horse-pistol is nomothetic. sent5: the fact that something is both a cannikin and nomothetic is incorrect if it does not embower Singapore. sent6: if that the adobe is not a cannikin or hydrostatic or both is incorrect the dumps is not hydrostatic. sent7: if that the adobe does not exhilarate Armenian is not incorrect that the dumps does embower Singapore and is hydrostatic is not true. sent8: the horse-pistol is not non-quadraphonic if there is something such that the fact that it embowers Singapore and is a Eglevsky is wrong. sent9: something is a Pleione that is a fuzz. sent10: the benzocaine is not quadraphonic. sent11: if something is a Eglevsky that is a fuzz then that it does exhilarate Armenian does not hold. sent12: the treasure is a Pleione if the amoxicillin is a kind of a Lycosa that is not a Pleione. sent13: that the horse-pistol is a Eglevsky is not false if the adobe is hydrostatic. sent14: if something is a kind of a Eglevsky it is a cannikin. sent15: that the adobe is not hydrostatic does not hold if the dumps does not embower Singapore. sent16: The Armenian does not exhilarate dumps. sent17: if the amoxicillin is a dock it is a Lycosa and is not a kind of a Pleione. sent18: the horse-pistol is nomothetic if there is something such that that it is a Pleione and it is a fuzz does not hold. sent19: the fact that the dumps exhilarates Armenian hold if it does embower Singapore. sent20: the dumps does not exhilarate Armenian. sent21: that the benzocaine is a kind of a Pleione and it is a kind of a fuzz does not hold if it is not quadraphonic.
void -> assump1: Let's assume that the fact that the dumps embowers Singapore is right.; sent19 & assump1 -> int1: the dumps does exhilarate Armenian.; int1 & sent20 -> int2: this is contradiction.; [assump1] & int2 -> int3: the dumps does not embower Singapore.; int3 & sent15 -> int4: the adobe is hydrostatic.; int4 & sent13 -> int5: the horse-pistol is a kind of a Eglevsky.; sent14 -> int6: the horse-pistol is a cannikin if it is a kind of a Eglevsky.; int5 & int6 -> int7: the horse-pistol is a cannikin.; sent21 & sent10 -> int8: the fact that the benzocaine is a kind of a Pleione and is a fuzz is not right.; int8 -> int9: there exists something such that the fact that it is a kind of a Pleione and is a fuzz does not hold.; int9 & sent18 -> int10: the horse-pistol is nomothetic.; int7 & int10 -> hypothesis;
the Armenian is quadraphonic.
$hypothesis$ = the horse-pistol is a cannikin and it is nomothetic. ; $context$ = sent1: that the fact that the benzocaine is a kind of non-quadraphonic thing that is not a kind of a Eglevsky hold is not right. sent2: if the dumps is not hydrostatic then it does not exhilarate Armenian and does not embower Singapore. sent3: the horse-pistol is not non-hydrostatic. sent4: if there exists something such that it is not a Pleione then the horse-pistol is nomothetic. sent5: the fact that something is both a cannikin and nomothetic is incorrect if it does not embower Singapore. sent6: if that the adobe is not a cannikin or hydrostatic or both is incorrect the dumps is not hydrostatic. sent7: if that the adobe does not exhilarate Armenian is not incorrect that the dumps does embower Singapore and is hydrostatic is not true. sent8: the horse-pistol is not non-quadraphonic if there is something such that the fact that it embowers Singapore and is a Eglevsky is wrong. sent9: something is a Pleione that is a fuzz. sent10: the benzocaine is not quadraphonic. sent11: if something is a Eglevsky that is a fuzz then that it does exhilarate Armenian does not hold. sent12: the treasure is a Pleione if the amoxicillin is a kind of a Lycosa that is not a Pleione. sent13: that the horse-pistol is a Eglevsky is not false if the adobe is hydrostatic. sent14: if something is a kind of a Eglevsky it is a cannikin. sent15: that the adobe is not hydrostatic does not hold if the dumps does not embower Singapore. sent16: The Armenian does not exhilarate dumps. sent17: if the amoxicillin is a dock it is a Lycosa and is not a kind of a Pleione. sent18: the horse-pistol is nomothetic if there is something such that that it is a Pleione and it is a fuzz does not hold. sent19: the fact that the dumps exhilarates Armenian hold if it does embower Singapore. sent20: the dumps does not exhilarate Armenian. sent21: that the benzocaine is a kind of a Pleione and it is a kind of a fuzz does not hold if it is not quadraphonic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the dumps embowers Singapore is right.; sent19 & assump1 -> int1: the dumps does exhilarate Armenian.; int1 & sent20 -> int2: this is contradiction.; [assump1] & int2 -> int3: the dumps does not embower Singapore.; int3 & sent15 -> int4: the adobe is hydrostatic.; int4 & sent13 -> int5: the horse-pistol is a kind of a Eglevsky.; sent14 -> int6: the horse-pistol is a cannikin if it is a kind of a Eglevsky.; int5 & int6 -> int7: the horse-pistol is a cannikin.; sent21 & sent10 -> int8: the fact that the benzocaine is a kind of a Pleione and is a fuzz is not right.; int8 -> int9: there exists something such that the fact that it is a kind of a Pleione and is a fuzz does not hold.; int9 & sent18 -> int10: the horse-pistol is nomothetic.; int7 & int10 -> hypothesis; __PROVED__