there is something such that if that it is not a kind of a Attic and it does not sell is not wrong it is not a Amur.
sent1: a non-Attic thing that is not a kind of a sell is not a Amur. sent2: if the decarboxylase is a Amur but it is not a corythosaur it is not an exercise. sent3: there exists something such that if it is not a census but an isolationist then it does not impede zinger. sent4: if the fact that something does report and is not a Mesozoic hold then it is not a hernia. sent5: there exists something such that if it is not a Attic and it is not a kind of a sell it is a Amur. sent6: there is something such that if it is a neuroepithelium and is not a digestive then it does not side pandemic. sent7: if something does not avert and is a Hugo it is not a billfish. sent8: something is not a kind of a hatefulness if it is chalky and not a lore.
sent1 -> int1: the decarboxylase is not a kind of a Amur if it is not a kind of a Attic and is not a sell.; int1 -> hypothesis;
$hypothesis$ = there is something such that if that it is not a kind of a Attic and it does not sell is not wrong it is not a Amur. ; $context$ = sent1: a non-Attic thing that is not a kind of a sell is not a Amur. sent2: if the decarboxylase is a Amur but it is not a corythosaur it is not an exercise. sent3: there exists something such that if it is not a census but an isolationist then it does not impede zinger. sent4: if the fact that something does report and is not a Mesozoic hold then it is not a hernia. sent5: there exists something such that if it is not a Attic and it is not a kind of a sell it is a Amur. sent6: there is something such that if it is a neuroepithelium and is not a digestive then it does not side pandemic. sent7: if something does not avert and is a Hugo it is not a billfish. sent8: something is not a kind of a hatefulness if it is chalky and not a lore. ; $proof$ = 
sent1 -> int1: the decarboxylase is not a kind of a Amur if it is not a kind of a Attic and is not a sell.; int1 -> hypothesis; __PROVED__