there exists something such that if it does not cloud sclerite it is autosomal.
sent1: if the headman is not a macroevolution it is a Antilope. sent2: if something does not scour then it is anasarcous. sent3: there exists something such that if it does not cloud homophony then it is a kind of a Nilotic. sent4: there exists something such that if it is not a substance it does ferret delavirdine. sent5: if the ladle does not cloud sclerite then it is a vinegar. sent6: if the headman is not a bimbo it clouds sclerite. sent7: the headman is incurious if it is not a highland. sent8: the fact that there exists something such that if that it does not cloud Bern hold then the fact that it is a signaler is true is not incorrect. sent9: if the fact that the headman does not cloud sclerite hold it is autosomal. sent10: if the headman is not malignant it is a hepatomegaly. sent11: the headman is not non-autosomal if it does cloud sclerite. sent12: if the fallout does not cloud Lithane it does cloud sclerite. sent13: the fact that there is something such that if it clouds sclerite it is autosomal is not false. sent14: there exists something such that if it is not a wound then it is a slag. sent15: if the headman is not autosomal it is anosmic. sent16: that the headman is anosmic is correct if it is not incurious. sent17: there is something such that if it is not macrobiotic it is a Argive.
sent9 -> hypothesis;
the headman is anasarcous if it is not a scouring.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if it does not cloud sclerite it is autosomal. ; $context$ = sent1: if the headman is not a macroevolution it is a Antilope. sent2: if something does not scour then it is anasarcous. sent3: there exists something such that if it does not cloud homophony then it is a kind of a Nilotic. sent4: there exists something such that if it is not a substance it does ferret delavirdine. sent5: if the ladle does not cloud sclerite then it is a vinegar. sent6: if the headman is not a bimbo it clouds sclerite. sent7: the headman is incurious if it is not a highland. sent8: the fact that there exists something such that if that it does not cloud Bern hold then the fact that it is a signaler is true is not incorrect. sent9: if the fact that the headman does not cloud sclerite hold it is autosomal. sent10: if the headman is not malignant it is a hepatomegaly. sent11: the headman is not non-autosomal if it does cloud sclerite. sent12: if the fallout does not cloud Lithane it does cloud sclerite. sent13: the fact that there is something such that if it clouds sclerite it is autosomal is not false. sent14: there exists something such that if it is not a wound then it is a slag. sent15: if the headman is not autosomal it is anosmic. sent16: that the headman is anosmic is correct if it is not incurious. sent17: there is something such that if it is not macrobiotic it is a Argive. ; $proof$ = 
sent9 -> hypothesis; __PROVED__