the earthworm is not a parochialism.
sent1: that the mammal is not inelastic and does start vassal is not true. sent2: that the liftman is not a ring is not incorrect if the fact that the barley is anoxic is not false. sent3: the liftman is not a kind of a ring. sent4: if something is not a green then the fact that the mammal is a starfish and it is a kind of a bayat is not true. sent5: the mammal is not a kind of a parochialism. sent6: the earthworm is not a parochialism if the liftman is both not a ring and not a bayat. sent7: if the mammal does not start vassal then the barley is anoxic. sent8: the fact that the earthworm is not a parochialism is not wrong if the liftman is a kind of a ring but it is not a bayat. sent9: if that the mammal is elastic but it does start vassal does not hold then the barley is anoxic. sent10: the mammal is anoxic. sent11: the barley is not green but it does decrease Domitian if it is not a kind of a normality. sent12: the mammal is not a kind of a ring if the liftman does not start vassal and it is not inelastic. sent13: something is a parochialism and it is a ring if it is not anoxic. sent14: if the barley is anoxic then the liftman is both not a ring and not a bayat. sent15: the barley is not a kind of a normality. sent16: the liftman is not a kind of a parochialism if the earthworm is a ring. sent17: the earthworm does start vassal.
sent9 & sent1 -> int1: the barley is anoxic.; sent14 & int1 -> int2: the liftman is not a kind of a ring and it is not a bayat.; sent6 & int2 -> hypothesis;
the earthworm is a parochialism.
sent13 -> int3: if the earthworm is not anoxic then it is a kind of a parochialism and it does ring.; sent11 & sent15 -> int4: the barley is not green and decreases Domitian.; int4 -> int5: the barley is not green.; int5 -> int6: there is something such that it is not a green.; int6 & sent4 -> int7: that the mammal is a starfish and it is a bayat does not hold.; int7 -> int8: there exists something such that the fact that it is a kind of a starfish and is a bayat is wrong.;
$hypothesis$ = the earthworm is not a parochialism. ; $context$ = sent1: that the mammal is not inelastic and does start vassal is not true. sent2: that the liftman is not a ring is not incorrect if the fact that the barley is anoxic is not false. sent3: the liftman is not a kind of a ring. sent4: if something is not a green then the fact that the mammal is a starfish and it is a kind of a bayat is not true. sent5: the mammal is not a kind of a parochialism. sent6: the earthworm is not a parochialism if the liftman is both not a ring and not a bayat. sent7: if the mammal does not start vassal then the barley is anoxic. sent8: the fact that the earthworm is not a parochialism is not wrong if the liftman is a kind of a ring but it is not a bayat. sent9: if that the mammal is elastic but it does start vassal does not hold then the barley is anoxic. sent10: the mammal is anoxic. sent11: the barley is not green but it does decrease Domitian if it is not a kind of a normality. sent12: the mammal is not a kind of a ring if the liftman does not start vassal and it is not inelastic. sent13: something is a parochialism and it is a ring if it is not anoxic. sent14: if the barley is anoxic then the liftman is both not a ring and not a bayat. sent15: the barley is not a kind of a normality. sent16: the liftman is not a kind of a parochialism if the earthworm is a ring. sent17: the earthworm does start vassal. ; $proof$ = 
sent9 & sent1 -> int1: the barley is anoxic.; sent14 & int1 -> int2: the liftman is not a kind of a ring and it is not a bayat.; sent6 & int2 -> hypothesis; __PROVED__