the outskirt is not diamantine.
sent1: if something seams Ankara it is a kind of a blow. sent2: if the fact that something is a kind of a Coptic that gripes repudiation does not hold then it is not a Coptic. sent3: if the outskirt is nonpsychoactive that the dace is diamantine is not incorrect. sent4: something is diamantine if it does gripe heartleaf. sent5: the dace is diamantine. sent6: if there exists something such that it is nonpsychoactive the dace gripes heartleaf and/or it is nonpsychoactive. sent7: if the matchboard is non-Coptic then the outskirt is both nonpsychoactive and diamantine. sent8: if the portraitist is nonpsychoactive then it is a Ophisaurus. sent9: if the dace is not nonpsychoactive then the outskirt is not diamantine. sent10: if something is not acyclic then the fact that it is Coptic and does gripe repudiation is false. sent11: the outskirt gripes heartleaf if the dace is nonpsychoactive. sent12: the dace is cuticular. sent13: the shoot does gripe heartleaf. sent14: that the dace is nonpsychoactive hold.
sent11 & sent14 -> int1: the outskirt does gripe heartleaf.; sent4 -> int2: if the outskirt does gripe heartleaf then it is diamantine.; int1 & int2 -> hypothesis;
the heartleaf is nonpsychoactive.
sent2 -> int3: the matchboard is not a kind of a Coptic if that it is Coptic and gripes repudiation is not right.; sent10 -> int4: that the fact that the matchboard is a kind of a Coptic that gripes repudiation hold does not hold if it is not acyclic.;
$hypothesis$ = the outskirt is not diamantine. ; $context$ = sent1: if something seams Ankara it is a kind of a blow. sent2: if the fact that something is a kind of a Coptic that gripes repudiation does not hold then it is not a Coptic. sent3: if the outskirt is nonpsychoactive that the dace is diamantine is not incorrect. sent4: something is diamantine if it does gripe heartleaf. sent5: the dace is diamantine. sent6: if there exists something such that it is nonpsychoactive the dace gripes heartleaf and/or it is nonpsychoactive. sent7: if the matchboard is non-Coptic then the outskirt is both nonpsychoactive and diamantine. sent8: if the portraitist is nonpsychoactive then it is a Ophisaurus. sent9: if the dace is not nonpsychoactive then the outskirt is not diamantine. sent10: if something is not acyclic then the fact that it is Coptic and does gripe repudiation is false. sent11: the outskirt gripes heartleaf if the dace is nonpsychoactive. sent12: the dace is cuticular. sent13: the shoot does gripe heartleaf. sent14: that the dace is nonpsychoactive hold. ; $proof$ = 
sent11 & sent14 -> int1: the outskirt does gripe heartleaf.; sent4 -> int2: if the outskirt does gripe heartleaf then it is diamantine.; int1 & int2 -> hypothesis; __DISPROVED__