the fact that the imprint is a inexactness and it is a Tiffany does not hold.
sent1: the weldment is not a Tiffany. sent2: the skibob is a jest. sent3: the imprint is a coulomb. sent4: that the mutterer does fold skibob and does not platinize Cinnamomum does not hold if the cyme is not a kind of a hyrax. sent5: if there exists something such that it is a kind of a jest the cyme is not a kind of a hyrax. sent6: the imprint is unconventional if it is a Tiffany. sent7: the weldment is a inexactness if the imprint is dissimilar. sent8: something is not dissimilar if it is unconventional. sent9: the fact that something is both not a coulomb and not a Tiffany if it does not fold skibob hold. sent10: the weldment is not non-dissimilar but it is not unconventional. sent11: the puncher is not non-dissimilar and it is a czar. sent12: if the fact that the weldment is a inexactness is right the imprint is dissimilar. sent13: if the fact that the weldment is dissimilar is not false that the imprint is not a inexactness is not right. sent14: the fact that the standard-bearer is conventional is not incorrect. sent15: the weldment is not a coulomb if the fact that the mutterer folds skibob but it does not platinize Cinnamomum is wrong. sent16: there exists something such that that it does not platinize Cinnamomum and it is a hyrax is not correct. sent17: if the weldment is a inexactness then it is not conventional. sent18: a coulomb is a kind of a Tiffany.
sent10 -> int1: the weldment is not non-dissimilar.; int1 & sent13 -> int2: the imprint is a inexactness.; sent18 -> int3: if the imprint is a coulomb then it is a Tiffany.; int3 & sent3 -> int4: the imprint is a Tiffany.; int2 & int4 -> hypothesis;
the peridium is unconventional.
sent9 -> int5: if the weldment does not fold skibob then it is not a coulomb and it is not a Tiffany.;
$hypothesis$ = the fact that the imprint is a inexactness and it is a Tiffany does not hold. ; $context$ = sent1: the weldment is not a Tiffany. sent2: the skibob is a jest. sent3: the imprint is a coulomb. sent4: that the mutterer does fold skibob and does not platinize Cinnamomum does not hold if the cyme is not a kind of a hyrax. sent5: if there exists something such that it is a kind of a jest the cyme is not a kind of a hyrax. sent6: the imprint is unconventional if it is a Tiffany. sent7: the weldment is a inexactness if the imprint is dissimilar. sent8: something is not dissimilar if it is unconventional. sent9: the fact that something is both not a coulomb and not a Tiffany if it does not fold skibob hold. sent10: the weldment is not non-dissimilar but it is not unconventional. sent11: the puncher is not non-dissimilar and it is a czar. sent12: if the fact that the weldment is a inexactness is right the imprint is dissimilar. sent13: if the fact that the weldment is dissimilar is not false that the imprint is not a inexactness is not right. sent14: the fact that the standard-bearer is conventional is not incorrect. sent15: the weldment is not a coulomb if the fact that the mutterer folds skibob but it does not platinize Cinnamomum is wrong. sent16: there exists something such that that it does not platinize Cinnamomum and it is a hyrax is not correct. sent17: if the weldment is a inexactness then it is not conventional. sent18: a coulomb is a kind of a Tiffany. ; $proof$ = 
sent10 -> int1: the weldment is not non-dissimilar.; int1 & sent13 -> int2: the imprint is a inexactness.; sent18 -> int3: if the imprint is a coulomb then it is a Tiffany.; int3 & sent3 -> int4: the imprint is a Tiffany.; int2 & int4 -> hypothesis; __DISPROVED__