the countrywoman is extramural.
sent1: that if the countrywoman is not non-extramural the fact that the Service untunes shoot and is a spearhead is not correct hold. sent2: something is not extramural if it is a spearhead. sent3: if the shoot is not a kind of a decrepitation then the fact that the razor-fish is not a decrepitation is not incorrect. sent4: if the Service is a spearhead then the fact that the shoot is not anuran but it is audio-lingual is wrong. sent5: something is a spearhead if it breeds. sent6: something is not a Yellowknife if it is orthodontics. sent7: if the decumary does not untune poltroonery and/or it is a Yellowknife it does not breed. sent8: the elecampane untunes shoot. sent9: if the decumary is not a breeding the connoisseur is a kind of a breeding that is not a solvate. sent10: the connoisseur is not a kind of a solvate. sent11: if the Service is orthodontics thing that does not misremember lizard's-tail it is not a kind of a ticking. sent12: there is something such that the fact that it is not diametral and resects razor-fish is not right. sent13: the fact that something is extramural hold if it is orthodontics. sent14: if the connoisseur is not anuran the decumary is not non-audio-lingual and/or does solvate. sent15: if something untunes shoot it is orthodontics. sent16: the connoisseur is not anuran if something untunes shoot and is not a decrepitation. sent17: if there is something such that that it is not diametral and does resect razor-fish is not true the Service does not misremember lizard's-tail. sent18: if that something is not anuran but it is audio-lingual does not hold that it is not a decrepitation is not incorrect. sent19: the Service is a solvate if the connoisseur is not a spearhead. sent20: the Service is orthodontics and it is a babble if it is not automotive. sent21: if the shoot is not a decrepitation the razor-fish is a kind of a ticking but it is not a decrepitation. sent22: the Service is a kind of a spearhead if the connoisseur is a kind of a breeding that is not a kind of a solvate. sent23: something does untune shoot and is not a decrepitation if it is not a ticking. sent24: if the razor-fish is a decrepitation then the fact that the shoot does tick and does untune poltroonery does not hold. sent25: if the connoisseur is a decrepitation then it is a solvate. sent26: the countrywoman does untune shoot if that the razor-fish does tick but it is not a decrepitation hold.
sent18 -> int1: the shoot is not a decrepitation if that it is not anuran and is audio-lingual does not hold.; sent15 -> int2: if the countrywoman untunes shoot it is orthodontics.; sent13 -> int3: the fact that the countrywoman is extramural is not false if it is not non-orthodontics.;
the countrywoman is not extramural.
sent2 -> int4: the countrywoman is non-extramural if it is a spearhead.; sent5 -> int5: the countrywoman does spearhead if it does breed.; sent23 -> int6: the Service untunes shoot and is not a kind of a decrepitation if it does not tick.; sent12 & sent17 -> int7: the Service does not misremember lizard's-tail.;
$hypothesis$ = the countrywoman is extramural. ; $context$ = sent1: that if the countrywoman is not non-extramural the fact that the Service untunes shoot and is a spearhead is not correct hold. sent2: something is not extramural if it is a spearhead. sent3: if the shoot is not a kind of a decrepitation then the fact that the razor-fish is not a decrepitation is not incorrect. sent4: if the Service is a spearhead then the fact that the shoot is not anuran but it is audio-lingual is wrong. sent5: something is a spearhead if it breeds. sent6: something is not a Yellowknife if it is orthodontics. sent7: if the decumary does not untune poltroonery and/or it is a Yellowknife it does not breed. sent8: the elecampane untunes shoot. sent9: if the decumary is not a breeding the connoisseur is a kind of a breeding that is not a solvate. sent10: the connoisseur is not a kind of a solvate. sent11: if the Service is orthodontics thing that does not misremember lizard's-tail it is not a kind of a ticking. sent12: there is something such that the fact that it is not diametral and resects razor-fish is not right. sent13: the fact that something is extramural hold if it is orthodontics. sent14: if the connoisseur is not anuran the decumary is not non-audio-lingual and/or does solvate. sent15: if something untunes shoot it is orthodontics. sent16: the connoisseur is not anuran if something untunes shoot and is not a decrepitation. sent17: if there is something such that that it is not diametral and does resect razor-fish is not true the Service does not misremember lizard's-tail. sent18: if that something is not anuran but it is audio-lingual does not hold that it is not a decrepitation is not incorrect. sent19: the Service is a solvate if the connoisseur is not a spearhead. sent20: the Service is orthodontics and it is a babble if it is not automotive. sent21: if the shoot is not a decrepitation the razor-fish is a kind of a ticking but it is not a decrepitation. sent22: the Service is a kind of a spearhead if the connoisseur is a kind of a breeding that is not a kind of a solvate. sent23: something does untune shoot and is not a decrepitation if it is not a ticking. sent24: if the razor-fish is a decrepitation then the fact that the shoot does tick and does untune poltroonery does not hold. sent25: if the connoisseur is a decrepitation then it is a solvate. sent26: the countrywoman does untune shoot if that the razor-fish does tick but it is not a decrepitation hold. ; $proof$ = 
sent18 -> int1: the shoot is not a decrepitation if that it is not anuran and is audio-lingual does not hold.; sent15 -> int2: if the countrywoman untunes shoot it is orthodontics.; sent13 -> int3: the fact that the countrywoman is extramural is not false if it is not non-orthodontics.; __UNKNOWN__