the Attic is a kind of an operative that is cyprian.
sent1: the fact that the Thai is a kind of a shimmy and it is an operative does not hold. sent2: if something is not a Cocculus then it is a shimmy that is cyprian. sent3: that the Attic is cyprian and it is a shimmy does not hold if the Thai is not a kind of an operative. sent4: the fact that the Attic is both a shimmy and an operative is not right if the Thai is not cyprian. sent5: if that the Attic is not a kind of a shimmy is not incorrect then that the Thai is cyprian thing that is a kind of an operative is not right. sent6: that the Attic is a kind of operative a shimmy is not right. sent7: the Thai is not a shimmy. sent8: if the Attic is not an operative then the fact that the Thai is cyprian and it does shimmy does not hold. sent9: the fact that the Attic is toxicological and is a kind of an operative does not hold. sent10: the Thai is not nonparticulate. sent11: if the Attic is not a shimmy the fact that the Thai is both an operative and cyprian is wrong. sent12: that the Attic is a kind of operative a shimmy is incorrect if the Thai is not cyprian. sent13: the corundom is not a kind of a shimmy. sent14: the Attic does not shimmy. sent15: the fact that the Thai is both cyprian and a shimmy is wrong. sent16: the fact that the Attic does shimmy and it is cyprian is not right. sent17: the fact that the Attic is an operative that is cyprian does not hold if the Thai does not shimmy.
sent17 & sent7 -> hypothesis;
the Attic is a kind of operative thing that is cyprian.
sent2 -> int1: the Thai shimmies and is cyprian if it is not a Cocculus.;
$hypothesis$ = the Attic is a kind of an operative that is cyprian. ; $context$ = sent1: the fact that the Thai is a kind of a shimmy and it is an operative does not hold. sent2: if something is not a Cocculus then it is a shimmy that is cyprian. sent3: that the Attic is cyprian and it is a shimmy does not hold if the Thai is not a kind of an operative. sent4: the fact that the Attic is both a shimmy and an operative is not right if the Thai is not cyprian. sent5: if that the Attic is not a kind of a shimmy is not incorrect then that the Thai is cyprian thing that is a kind of an operative is not right. sent6: that the Attic is a kind of operative a shimmy is not right. sent7: the Thai is not a shimmy. sent8: if the Attic is not an operative then the fact that the Thai is cyprian and it does shimmy does not hold. sent9: the fact that the Attic is toxicological and is a kind of an operative does not hold. sent10: the Thai is not nonparticulate. sent11: if the Attic is not a shimmy the fact that the Thai is both an operative and cyprian is wrong. sent12: that the Attic is a kind of operative a shimmy is incorrect if the Thai is not cyprian. sent13: the corundom is not a kind of a shimmy. sent14: the Attic does not shimmy. sent15: the fact that the Thai is both cyprian and a shimmy is wrong. sent16: the fact that the Attic does shimmy and it is cyprian is not right. sent17: the fact that the Attic is an operative that is cyprian does not hold if the Thai does not shimmy. ; $proof$ = 
sent17 & sent7 -> hypothesis; __DISPROVED__