the breeding does not nag attester.
sent1: the Graham is not tetragonal if the breeding is not achlorhydric and it does not nag attester. sent2: the Graham does not nag attester and is not a kind of a Soweto. sent3: the breeding is not achlorhydric if the Graham is not tetragonal and nags attester. sent4: everything does not nag hands. sent5: if the breeding does not nag attester and is achlorhydric then the Graham is not tetragonal. sent6: the phoronid is not achlorhydric. sent7: the acanthocyte is not selfish and it does not pleach. sent8: the breeding does not nag attester if the Graham is not achlorhydric and it is not tetragonal. sent9: the breeding is not tetragonal. sent10: that everything is non-achlorhydric thing that is not tetragonal is not incorrect. sent11: the Graham does not nag attester. sent12: everything is not a gurgle and it is not surficial. sent13: the Graham does not nag attester if the breeding is not achlorhydric and is tetragonal. sent14: the Graham is not tetragonal and it does not nag attester. sent15: the cockhorse does not nag attester. sent16: if the Graham is a kind of non-achlorhydric thing that does not nag attester the breeding is not tetragonal. sent17: everything is both not tropical and not a hydrofluorocarbon. sent18: the Graham does not nag attester if the breeding is a kind of non-achlorhydric thing that is not tetragonal. sent19: everything is not purposeful.
sent10 -> int1: the Graham is both not achlorhydric and not tetragonal.; sent8 & int1 -> hypothesis;
$hypothesis$ = the breeding does not nag attester. ; $context$ = sent1: the Graham is not tetragonal if the breeding is not achlorhydric and it does not nag attester. sent2: the Graham does not nag attester and is not a kind of a Soweto. sent3: the breeding is not achlorhydric if the Graham is not tetragonal and nags attester. sent4: everything does not nag hands. sent5: if the breeding does not nag attester and is achlorhydric then the Graham is not tetragonal. sent6: the phoronid is not achlorhydric. sent7: the acanthocyte is not selfish and it does not pleach. sent8: the breeding does not nag attester if the Graham is not achlorhydric and it is not tetragonal. sent9: the breeding is not tetragonal. sent10: that everything is non-achlorhydric thing that is not tetragonal is not incorrect. sent11: the Graham does not nag attester. sent12: everything is not a gurgle and it is not surficial. sent13: the Graham does not nag attester if the breeding is not achlorhydric and is tetragonal. sent14: the Graham is not tetragonal and it does not nag attester. sent15: the cockhorse does not nag attester. sent16: if the Graham is a kind of non-achlorhydric thing that does not nag attester the breeding is not tetragonal. sent17: everything is both not tropical and not a hydrofluorocarbon. sent18: the Graham does not nag attester if the breeding is a kind of non-achlorhydric thing that is not tetragonal. sent19: everything is not purposeful. ; $proof$ = 
sent10 -> int1: the Graham is both not achlorhydric and not tetragonal.; sent8 & int1 -> hypothesis; __PROVED__