something is a kind of non-unworthy thing that is not permanent.
sent1: if that something is worthy and impermanent is false it is not esophageal. sent2: if something is a kind of a litchi it is not antemortem. sent3: something is not a scarlet and is leptosporangiate if it is not esophageal. sent4: if something is fistulous and/or it does not accept jumper the fact that the valdecoxib is a bleachers does not hold. sent5: that the stoop is not a Dasyuridae but it is unthematic is not correct. sent6: something does not accept Sitophylus and is a payee if it is not a kind of a myoclonus. sent7: something is not pietistic and is a source. sent8: if the fact that the valdecoxib is not a bleachers and is fistulous is not right it is not impermanent. sent9: that the needlework is non-pietistic thing that accepts jumper is true. sent10: the fact that the valdecoxib is both not a scarlet and leptosporangiate does not hold if it is not a bleachers. sent11: the stoop is fistulous and/or it does not accept jumper. sent12: the fact that something is not a bleachers but a scarlet is not wrong if it is not unworthy.
sent1 -> int1: the valdecoxib is not esophageal if the fact that it is not unworthy and is impermanent is not correct.; void -> assump1: Let's assume that that the valdecoxib is worthy but it is impermanent is not right.; int1 & assump1 -> int2: the valdecoxib is not esophageal.; sent3 -> int3: the valdecoxib is both not a scarlet and leptosporangiate if that it is not esophageal is correct.; int2 & int3 -> int4: the valdecoxib is not a scarlet but leptosporangiate.; sent11 -> int5: something is fistulous or does not accept jumper or both.; int5 & sent4 -> int6: the valdecoxib is not a bleachers.; sent10 & int6 -> int7: that the valdecoxib is not a scarlet and is not non-leptosporangiate does not hold.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the valdecoxib is not unworthy but impermanent.; int9 -> hypothesis;
$hypothesis$ = something is a kind of non-unworthy thing that is not permanent. ; $context$ = sent1: if that something is worthy and impermanent is false it is not esophageal. sent2: if something is a kind of a litchi it is not antemortem. sent3: something is not a scarlet and is leptosporangiate if it is not esophageal. sent4: if something is fistulous and/or it does not accept jumper the fact that the valdecoxib is a bleachers does not hold. sent5: that the stoop is not a Dasyuridae but it is unthematic is not correct. sent6: something does not accept Sitophylus and is a payee if it is not a kind of a myoclonus. sent7: something is not pietistic and is a source. sent8: if the fact that the valdecoxib is not a bleachers and is fistulous is not right it is not impermanent. sent9: that the needlework is non-pietistic thing that accepts jumper is true. sent10: the fact that the valdecoxib is both not a scarlet and leptosporangiate does not hold if it is not a bleachers. sent11: the stoop is fistulous and/or it does not accept jumper. sent12: the fact that something is not a bleachers but a scarlet is not wrong if it is not unworthy. ; $proof$ = 
sent1 -> int1: the valdecoxib is not esophageal if the fact that it is not unworthy and is impermanent is not correct.; void -> assump1: Let's assume that that the valdecoxib is worthy but it is impermanent is not right.; int1 & assump1 -> int2: the valdecoxib is not esophageal.; sent3 -> int3: the valdecoxib is both not a scarlet and leptosporangiate if that it is not esophageal is correct.; int2 & int3 -> int4: the valdecoxib is not a scarlet but leptosporangiate.; sent11 -> int5: something is fistulous or does not accept jumper or both.; int5 & sent4 -> int6: the valdecoxib is not a bleachers.; sent10 & int6 -> int7: that the valdecoxib is not a scarlet and is not non-leptosporangiate does not hold.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the valdecoxib is not unworthy but impermanent.; int9 -> hypothesis; __PROVED__