the Tom is a turnout but it is not scalene.
sent1: if the planula is not osteal then it does not synthesize. sent2: that that the planula is not a kind of a unhealthiness but it is osteal is not false is false. sent3: the planula is a turnout. sent4: if that the planula is not a unhealthiness but osteal is incorrect then it does not synthesize. sent5: that the fact that the planula does not tout ulcer and synthesizes does not hold is right. sent6: the planula is a kind of a modeled if the fact that the outfield does not synthesize and does not tout ulcer does not hold. sent7: that the planula is not scalene and synthesizes is wrong. sent8: if that the outfield does not tout ulcer and is not a modeled does not hold then the fact that the planula does synthesize is true. sent9: if something that does not synthesize is not a unhealthiness it is scalene. sent10: the fact that the fact that the outfield does not tout ulcer but it is a unhealthiness is not incorrect is not right. sent11: the planula is not doctoral if it indurates anima. sent12: if the diskette is scalene that the outfield does not tout ulcer and is a modeled is incorrect. sent13: if the floating-moss is scalene then the fact that it is not pragmatic and it is not intervertebral does not hold. sent14: that that the outfield does not tout ulcer and does not model is wrong if the diskette is scalene hold. sent15: if the diskette is a turnout then the floating-moss does not synthesize and is not a unhealthiness. sent16: if the planula is a turnout then that the Tom does synthesize and is not scalene does not hold. sent17: the Tom is a kind of a turnout that is not scalene if the diskette is not scalene. sent18: that something is a turnout and is not scalene does not hold if the fact that it does synthesize hold. sent19: that the planula touts ulcer and does not synthesize is not correct.
void -> assump1: Let's assume that the diskette is scalene.; sent14 & assump1 -> int1: that the outfield does not tout ulcer and it is not a kind of a modeled does not hold.; int1 & sent8 -> int2: the planula does synthesize.; sent4 & sent2 -> int3: the planula does not synthesize.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the diskette is not scalene.; int5 & sent17 -> hypothesis;
the fact that the Tom is both a turnout and not scalene does not hold.
sent18 -> int6: if the Tom synthesizes then that it is a turnout and it is not scalene is wrong.;
$hypothesis$ = the Tom is a turnout but it is not scalene. ; $context$ = sent1: if the planula is not osteal then it does not synthesize. sent2: that that the planula is not a kind of a unhealthiness but it is osteal is not false is false. sent3: the planula is a turnout. sent4: if that the planula is not a unhealthiness but osteal is incorrect then it does not synthesize. sent5: that the fact that the planula does not tout ulcer and synthesizes does not hold is right. sent6: the planula is a kind of a modeled if the fact that the outfield does not synthesize and does not tout ulcer does not hold. sent7: that the planula is not scalene and synthesizes is wrong. sent8: if that the outfield does not tout ulcer and is not a modeled does not hold then the fact that the planula does synthesize is true. sent9: if something that does not synthesize is not a unhealthiness it is scalene. sent10: the fact that the fact that the outfield does not tout ulcer but it is a unhealthiness is not incorrect is not right. sent11: the planula is not doctoral if it indurates anima. sent12: if the diskette is scalene that the outfield does not tout ulcer and is a modeled is incorrect. sent13: if the floating-moss is scalene then the fact that it is not pragmatic and it is not intervertebral does not hold. sent14: that that the outfield does not tout ulcer and does not model is wrong if the diskette is scalene hold. sent15: if the diskette is a turnout then the floating-moss does not synthesize and is not a unhealthiness. sent16: if the planula is a turnout then that the Tom does synthesize and is not scalene does not hold. sent17: the Tom is a kind of a turnout that is not scalene if the diskette is not scalene. sent18: that something is a turnout and is not scalene does not hold if the fact that it does synthesize hold. sent19: that the planula touts ulcer and does not synthesize is not correct. ; $proof$ = 
void -> assump1: Let's assume that the diskette is scalene.; sent14 & assump1 -> int1: that the outfield does not tout ulcer and it is not a kind of a modeled does not hold.; int1 & sent8 -> int2: the planula does synthesize.; sent4 & sent2 -> int3: the planula does not synthesize.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the diskette is not scalene.; int5 & sent17 -> hypothesis; __PROVED__