the limekiln is not carvel-built.
sent1: if the gooseflesh is a downspin then the Medusa is a kind of a downspin. sent2: that the limekiln is not one-piece and it is not a rabbitfish is true if the coelostat is non-Romance. sent3: the limekiln is not non-Zimbabwean if the tannin is not a software. sent4: if there is something such that the fact that it does not instruct Hypericum and it is a casework is not wrong the wish-wash is carvel-built. sent5: if the wish-wash specifies the tannin is a Cline. sent6: if the limekiln is Zimbabwean then it is carvel-built. sent7: the gooseflesh is a downspin. sent8: that something is a kind of a Cline and it does specify is not true if it is not a software. sent9: if the Medusa is a kind of a downspin that is cardiopulmonary then the fact that the coelostat is not a kind of a downspin is not wrong. sent10: if the coelostat is not a downspin then it is not a kind of a Romance. sent11: the wish-wash specifies. sent12: if the fact that the wish-wash is not a kind of a software but it is a kind of a Cline is incorrect it is not a Cline. sent13: if there is something such that it is not lentic the tannin does not instruct Hypericum but it is a casework. sent14: the harasser is not a kind of a Zimbabwean if there exists something such that the fact that it is a Cline and does specify is wrong. sent15: if the tannin is a Cline then it is not a software. sent16: the Medusa does instruct sentimentality and it is cardiopulmonary. sent17: something is not a kind of a software if it is carvel-built. sent18: something that is not one-piece and not a rabbitfish is not lentic.
sent5 & sent11 -> int1: the tannin is a Cline.; int1 & sent15 -> int2: the tannin is not a kind of a software.; int2 & sent3 -> int3: the limekiln is Zimbabwean.; int3 & sent6 -> hypothesis;
the harasser is not Zimbabwean.
sent8 -> int4: if the fact that the wish-wash is not a software is right the fact that it is a kind of a Cline and it does specify is not correct.; sent17 -> int5: if the wish-wash is carvel-built the fact that it is not a software is true.; sent18 -> int6: the limekiln is not lentic if it is not one-piece and it is not a rabbitfish.; sent1 & sent7 -> int7: the Medusa is a downspin.; sent16 -> int8: the Medusa is cardiopulmonary.; int7 & int8 -> int9: the Medusa is a downspin that is cardiopulmonary.; sent9 & int9 -> int10: the coelostat is not a downspin.; sent10 & int10 -> int11: the coelostat is not a kind of a Romance.; sent2 & int11 -> int12: the limekiln is non-one-piece thing that is not a kind of a rabbitfish.; int6 & int12 -> int13: the limekiln is not lentic.; int13 -> int14: there exists something such that that it is not lentic is not incorrect.; int14 & sent13 -> int15: the tannin does not instruct Hypericum but it is a casework.; int15 -> int16: there exists something such that it does not instruct Hypericum and is a casework.; int16 & sent4 -> int17: the wish-wash is not non-carvel-built.; int5 & int17 -> int18: the wish-wash is not a kind of a software.; int4 & int18 -> int19: the fact that the wish-wash is a Cline and it does specify is false.; int19 -> int20: there exists something such that that it is a Cline and it does specify is wrong.; int20 & sent14 -> hypothesis;
$hypothesis$ = the limekiln is not carvel-built. ; $context$ = sent1: if the gooseflesh is a downspin then the Medusa is a kind of a downspin. sent2: that the limekiln is not one-piece and it is not a rabbitfish is true if the coelostat is non-Romance. sent3: the limekiln is not non-Zimbabwean if the tannin is not a software. sent4: if there is something such that the fact that it does not instruct Hypericum and it is a casework is not wrong the wish-wash is carvel-built. sent5: if the wish-wash specifies the tannin is a Cline. sent6: if the limekiln is Zimbabwean then it is carvel-built. sent7: the gooseflesh is a downspin. sent8: that something is a kind of a Cline and it does specify is not true if it is not a software. sent9: if the Medusa is a kind of a downspin that is cardiopulmonary then the fact that the coelostat is not a kind of a downspin is not wrong. sent10: if the coelostat is not a downspin then it is not a kind of a Romance. sent11: the wish-wash specifies. sent12: if the fact that the wish-wash is not a kind of a software but it is a kind of a Cline is incorrect it is not a Cline. sent13: if there is something such that it is not lentic the tannin does not instruct Hypericum but it is a casework. sent14: the harasser is not a kind of a Zimbabwean if there exists something such that the fact that it is a Cline and does specify is wrong. sent15: if the tannin is a Cline then it is not a software. sent16: the Medusa does instruct sentimentality and it is cardiopulmonary. sent17: something is not a kind of a software if it is carvel-built. sent18: something that is not one-piece and not a rabbitfish is not lentic. ; $proof$ = 
sent5 & sent11 -> int1: the tannin is a Cline.; int1 & sent15 -> int2: the tannin is not a kind of a software.; int2 & sent3 -> int3: the limekiln is Zimbabwean.; int3 & sent6 -> hypothesis; __DISPROVED__