the gangway does not cathect buck.
sent1: if the fact that the emir is not a dubnium is true then that either the deposit does tone or it does not crush or both is not right. sent2: the emir does tone and it is a goral. sent3: that the emir does philander blacklist is not false if the confit cathects Agropyron. sent4: the jimmies is not Congregational if the bailiff is both a meclofenamate and not Congregational. sent5: the bailiff is a meclofenamate. sent6: if the fact that something does not cathect Agropyron but it does philander blacklist is false it is not a kind of a meclofenamate. sent7: if something is not Congregational and it is not a meclofenamate then the gangway does cathect buck. sent8: The gouache does not philander Dimetane. sent9: the Dimetane does not philander gouache. sent10: that something does not cathect Agropyron and philanders blacklist does not hold if it is not a dubnium. sent11: something that philanders blacklist and sleeps is not a dubnium. sent12: if the bailiff is a sleep that does philander blacklist then that it does not cathect Agropyron is not false. sent13: if that the fact that something does philander gouache and is not toothless is not incorrect is not correct then it is not a dubnium. sent14: if the Dimetane is toothless then the emir is a kind of a sleep. sent15: the emir is a sleep if the Dimetane is a goral. sent16: if the bailiff is a kind of toothless thing that is a meclofenamate then it does not philander blacklist. sent17: if there exists something such that that it is a tone is correct the fact that the confit is not a tone and is not a crush does not hold. sent18: if the bailiff is Congregational the confit cathects Agropyron. sent19: if there exists something such that that it does tone and/or does not crush is not right the gangway does not cathect buck. sent20: the bailiff is Congregational if it is a meclofenamate. sent21: the bailiff does not cathect Agropyron if the confit is not a sleep and it does not philander blacklist. sent22: either something does explicate or it is a azathioprine or both if it is not a de-iodinase. sent23: the bailiff is not a sleep if the fact that the fact that the confit is both not a tone and not a crush is correct is false. sent24: something that does not philander gouache is toothless and/or is a goral.
sent20 & sent5 -> int1: the bailiff is Congregational.; int1 & sent18 -> int2: the confit cathects Agropyron.; int2 & sent3 -> int3: the emir does philander blacklist.; sent24 -> int4: the Dimetane is toothless or it is a goral or both if it does not philander gouache.; int4 & sent9 -> int5: the Dimetane is toothless and/or it is a kind of a goral.; int5 & sent14 & sent15 -> int6: the emir is a kind of a sleep.; int3 & int6 -> int7: the emir does philander blacklist and sleeps.; sent11 -> int8: the emir is not a dubnium if it philanders blacklist and is a kind of a sleep.; int7 & int8 -> int9: the emir is not a dubnium.; int9 & sent1 -> int10: the fact that the deposit is a tone or does not crush or both is incorrect.; int10 -> int11: there exists something such that that it either is a kind of a tone or does not crush or both is not right.; int11 & sent19 -> hypothesis;
the jimmies is not Congregational.
$hypothesis$ = the gangway does not cathect buck. ; $context$ = sent1: if the fact that the emir is not a dubnium is true then that either the deposit does tone or it does not crush or both is not right. sent2: the emir does tone and it is a goral. sent3: that the emir does philander blacklist is not false if the confit cathects Agropyron. sent4: the jimmies is not Congregational if the bailiff is both a meclofenamate and not Congregational. sent5: the bailiff is a meclofenamate. sent6: if the fact that something does not cathect Agropyron but it does philander blacklist is false it is not a kind of a meclofenamate. sent7: if something is not Congregational and it is not a meclofenamate then the gangway does cathect buck. sent8: The gouache does not philander Dimetane. sent9: the Dimetane does not philander gouache. sent10: that something does not cathect Agropyron and philanders blacklist does not hold if it is not a dubnium. sent11: something that philanders blacklist and sleeps is not a dubnium. sent12: if the bailiff is a sleep that does philander blacklist then that it does not cathect Agropyron is not false. sent13: if that the fact that something does philander gouache and is not toothless is not incorrect is not correct then it is not a dubnium. sent14: if the Dimetane is toothless then the emir is a kind of a sleep. sent15: the emir is a sleep if the Dimetane is a goral. sent16: if the bailiff is a kind of toothless thing that is a meclofenamate then it does not philander blacklist. sent17: if there exists something such that that it is a tone is correct the fact that the confit is not a tone and is not a crush does not hold. sent18: if the bailiff is Congregational the confit cathects Agropyron. sent19: if there exists something such that that it does tone and/or does not crush is not right the gangway does not cathect buck. sent20: the bailiff is Congregational if it is a meclofenamate. sent21: the bailiff does not cathect Agropyron if the confit is not a sleep and it does not philander blacklist. sent22: either something does explicate or it is a azathioprine or both if it is not a de-iodinase. sent23: the bailiff is not a sleep if the fact that the fact that the confit is both not a tone and not a crush is correct is false. sent24: something that does not philander gouache is toothless and/or is a goral. ; $proof$ = 
sent20 & sent5 -> int1: the bailiff is Congregational.; int1 & sent18 -> int2: the confit cathects Agropyron.; int2 & sent3 -> int3: the emir does philander blacklist.; sent24 -> int4: the Dimetane is toothless or it is a goral or both if it does not philander gouache.; int4 & sent9 -> int5: the Dimetane is toothless and/or it is a kind of a goral.; int5 & sent14 & sent15 -> int6: the emir is a kind of a sleep.; int3 & int6 -> int7: the emir does philander blacklist and sleeps.; sent11 -> int8: the emir is not a dubnium if it philanders blacklist and is a kind of a sleep.; int7 & int8 -> int9: the emir is not a dubnium.; int9 & sent1 -> int10: the fact that the deposit is a tone or does not crush or both is incorrect.; int10 -> int11: there exists something such that that it either is a kind of a tone or does not crush or both is not right.; int11 & sent19 -> hypothesis; __PROVED__