there are metamorphic things.
sent1: the hazelnut is not nonmetamorphic if it is a kind of a complexion. sent2: that the molt does not guarantee molt and is a kind of a swagman does not hold if the hazelnut is not Britannic. sent3: that the hazelnut is both not a complexion and a PO is incorrect. sent4: if the fact that the hazelnut is not a corporation but it is anuretic is not true then it does not queen aldosteronism. sent5: something does not queen scorch if it is archipelagic. sent6: that the hazelnut is not a kind of a PO but it is susceptible is incorrect. sent7: if that the hazelnut is not a complexion and is a PO is false then it is not nonmetamorphic. sent8: if that something is a marmot but it is not a Richardson is not correct it is a Richardson. sent9: there is something such that the fact that it is nonmetamorphic hold. sent10: something is not nonmetamorphic and it is not Britannic if it is a kind of a Richardson. sent11: something is a Fenusa and it does laicize crore if that it does not queen scorch is not wrong. sent12: the bight is not a PO. sent13: if that something is a kind of a Fenusa is true then that it is a marmot and it is not a Richardson does not hold.
sent7 & sent3 -> int1: the hazelnut is not nonmetamorphic.; int1 -> hypothesis;
that the molt does not guarantee molt and is a swagman is not correct.
sent10 -> int2: if the hazelnut is a Richardson then it is a kind of non-nonmetamorphic thing that is not Britannic.; sent8 -> int3: the hazelnut is a Richardson if the fact that it is a kind of a marmot and is not a Richardson is wrong.; sent13 -> int4: the fact that the hazelnut is a kind of a marmot that is not a Richardson is not right if it is a Fenusa.; sent11 -> int5: the hazelnut is a Fenusa and it laicizes crore if it does not queen scorch.; sent5 -> int6: if the hazelnut is archipelagic it does not queen scorch.;
$hypothesis$ = there are metamorphic things. ; $context$ = sent1: the hazelnut is not nonmetamorphic if it is a kind of a complexion. sent2: that the molt does not guarantee molt and is a kind of a swagman does not hold if the hazelnut is not Britannic. sent3: that the hazelnut is both not a complexion and a PO is incorrect. sent4: if the fact that the hazelnut is not a corporation but it is anuretic is not true then it does not queen aldosteronism. sent5: something does not queen scorch if it is archipelagic. sent6: that the hazelnut is not a kind of a PO but it is susceptible is incorrect. sent7: if that the hazelnut is not a complexion and is a PO is false then it is not nonmetamorphic. sent8: if that something is a marmot but it is not a Richardson is not correct it is a Richardson. sent9: there is something such that the fact that it is nonmetamorphic hold. sent10: something is not nonmetamorphic and it is not Britannic if it is a kind of a Richardson. sent11: something is a Fenusa and it does laicize crore if that it does not queen scorch is not wrong. sent12: the bight is not a PO. sent13: if that something is a kind of a Fenusa is true then that it is a marmot and it is not a Richardson does not hold. ; $proof$ = 
sent7 & sent3 -> int1: the hazelnut is not nonmetamorphic.; int1 -> hypothesis; __PROVED__