the vertebra is not a Telugu.
sent1: the fact that the toyshop is not a shimmy but it is polyhedral does not hold. sent2: if the casino does vex feverfew then it is not unbroken and it is not congestive. sent3: the casino vexes feverfew. sent4: the fact that the rutabaga is a kind of a fleabag is not incorrect if that the toyshop is a shimmy is true. sent5: that something is both anuretic and not a Jewbush is not correct if it does decorate dehydroretinol. sent6: the rutabaga is a fleabag if the fact that the toyshop does not shimmy but it is polyhedral is incorrect. sent7: The feverfew vexes casino. sent8: the vertebra is not a kind of a Telugu if the Klansman is a Jagannath and it does ink. sent9: if the Klansman is both a Jagannath and not an ink then the vertebra is not a kind of a Telugu. sent10: the dehydroretinol does decorate compost if the fact that the rutabaga is a fleabag is right. sent11: if something that does fry decorates compost it is not an ink. sent12: the casino is not unbroken if it does vex feverfew. sent13: if the rutabaga is non-polyhedral thing that does not decorate air the Klansman is not polyhedral. sent14: the rutabaga does not decorate air if the fact that the antineutrino does not vex Champagne and is a specification is wrong. sent15: that the casino is not unbroken is not incorrect. sent16: the rutabaga is a kind of a sitcom if that the toyshop is anuretic but it is not a Jewbush is wrong. sent17: the casino does not vex feverfew if the fact that the Klansman is a kind of a fleabag but it is not a shimmy is not correct. sent18: the vertebra is not an ink. sent19: the casino does not decorate compost. sent20: if something is not polyhedral then the fact that it is a fleabag and not a shimmy is false. sent21: the toyshop decorates dehydroretinol. sent22: the Klansman is not an ink if the dehydroretinol is not an ink. sent23: the dehydroretinol is a kind of a Jagannath and it is an ink if there is something such that it does not vex feverfew. sent24: that the toyshop does shimmy and it is polyhedral does not hold. sent25: if the rutabaga is a sitcom then that it is non-Fabian and it is polyhedral is wrong. sent26: the Klansman is a Jagannath but it does not ink if the dehydroretinol is not an ink. sent27: if the Klansman is a kind of a Telugu that is not an ink the vertebra is not a fleabag. sent28: if the dehydroretinol does not fry then the fact that the casino is not unbroken and not congestive does not hold. sent29: if the dehydroretinol does not fry then that the casino is unbroken but it is not congestive is not true. sent30: if that something is not a Fabian but it is not non-polyhedral does not hold then it is not non-polyhedral.
void -> assump1: Let's assume that the dehydroretinol does not fry.; sent28 & assump1 -> int1: that the casino is plowed and non-congestive is not true.; sent2 & sent3 -> int2: the casino is not unbroken and it is not congestive.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the dehydroretinol does fry hold.; sent6 & sent1 -> int5: the fact that the rutabaga is a fleabag hold.; sent10 & int5 -> int6: the dehydroretinol does decorate compost.; int4 & int6 -> int7: the dehydroretinol fries and decorates compost.; sent11 -> int8: the dehydroretinol is not an ink if it fries and does decorate compost.; int7 & int8 -> int9: the dehydroretinol does not ink.; int9 & sent26 -> int10: the Klansman is a kind of a Jagannath but it is not an ink.; int10 & sent9 -> hypothesis;
the vertebra is a Telugu.
sent20 -> int11: that the Klansman is a kind of a fleabag but it is not a shimmy is not correct if it is not polyhedral.; sent30 -> int12: if that the fact that the rutabaga is not Fabian but it is polyhedral is not right hold it is not polyhedral.; sent5 -> int13: that the toyshop is anuretic but it is not a kind of a Jewbush does not hold if it does decorate dehydroretinol.; int13 & sent21 -> int14: the fact that the toyshop is not non-anuretic but it is not a Jewbush is wrong.; sent16 & int14 -> int15: the fact that the rutabaga is a sitcom is right.; sent25 & int15 -> int16: the fact that the rutabaga is not a Fabian and is polyhedral is not right.; int12 & int16 -> int17: the rutabaga is not polyhedral.;
$hypothesis$ = the vertebra is not a Telugu. ; $context$ = sent1: the fact that the toyshop is not a shimmy but it is polyhedral does not hold. sent2: if the casino does vex feverfew then it is not unbroken and it is not congestive. sent3: the casino vexes feverfew. sent4: the fact that the rutabaga is a kind of a fleabag is not incorrect if that the toyshop is a shimmy is true. sent5: that something is both anuretic and not a Jewbush is not correct if it does decorate dehydroretinol. sent6: the rutabaga is a fleabag if the fact that the toyshop does not shimmy but it is polyhedral is incorrect. sent7: The feverfew vexes casino. sent8: the vertebra is not a kind of a Telugu if the Klansman is a Jagannath and it does ink. sent9: if the Klansman is both a Jagannath and not an ink then the vertebra is not a kind of a Telugu. sent10: the dehydroretinol does decorate compost if the fact that the rutabaga is a fleabag is right. sent11: if something that does fry decorates compost it is not an ink. sent12: the casino is not unbroken if it does vex feverfew. sent13: if the rutabaga is non-polyhedral thing that does not decorate air the Klansman is not polyhedral. sent14: the rutabaga does not decorate air if the fact that the antineutrino does not vex Champagne and is a specification is wrong. sent15: that the casino is not unbroken is not incorrect. sent16: the rutabaga is a kind of a sitcom if that the toyshop is anuretic but it is not a Jewbush is wrong. sent17: the casino does not vex feverfew if the fact that the Klansman is a kind of a fleabag but it is not a shimmy is not correct. sent18: the vertebra is not an ink. sent19: the casino does not decorate compost. sent20: if something is not polyhedral then the fact that it is a fleabag and not a shimmy is false. sent21: the toyshop decorates dehydroretinol. sent22: the Klansman is not an ink if the dehydroretinol is not an ink. sent23: the dehydroretinol is a kind of a Jagannath and it is an ink if there is something such that it does not vex feverfew. sent24: that the toyshop does shimmy and it is polyhedral does not hold. sent25: if the rutabaga is a sitcom then that it is non-Fabian and it is polyhedral is wrong. sent26: the Klansman is a Jagannath but it does not ink if the dehydroretinol is not an ink. sent27: if the Klansman is a kind of a Telugu that is not an ink the vertebra is not a fleabag. sent28: if the dehydroretinol does not fry then the fact that the casino is not unbroken and not congestive does not hold. sent29: if the dehydroretinol does not fry then that the casino is unbroken but it is not congestive is not true. sent30: if that something is not a Fabian but it is not non-polyhedral does not hold then it is not non-polyhedral. ; $proof$ = 
void -> assump1: Let's assume that the dehydroretinol does not fry.; sent28 & assump1 -> int1: that the casino is plowed and non-congestive is not true.; sent2 & sent3 -> int2: the casino is not unbroken and it is not congestive.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the dehydroretinol does fry hold.; sent6 & sent1 -> int5: the fact that the rutabaga is a fleabag hold.; sent10 & int5 -> int6: the dehydroretinol does decorate compost.; int4 & int6 -> int7: the dehydroretinol fries and decorates compost.; sent11 -> int8: the dehydroretinol is not an ink if it fries and does decorate compost.; int7 & int8 -> int9: the dehydroretinol does not ink.; int9 & sent26 -> int10: the Klansman is a kind of a Jagannath but it is not an ink.; int10 & sent9 -> hypothesis; __PROVED__