if the heterosexual does not mask fa that the melanin is a kind of sabbatical thing that does not sensualize umber is not correct.
sent1: something is not a Macedon if that it does not mask fa and it is not caudal is not right. sent2: the fact that the melanin is a sabbatical and does not sensualize umber does not hold if the shoot-'em-up does not sensualize umber. sent3: everything is not tractable and it is not a plaque. sent4: if the shoe-shop does not marble the fact that the heterosexual does not mask fa and is not caudal does not hold. sent5: the fact that if the shoe-shop is not a marble then the fact that that the storm masks fa but it is not a kind of a Macedon is not incorrect is incorrect is not false. sent6: the storm is not a kind of a sabbatical if the fact that the shoot-'em-up is not tractable and it is not a kind of a plaque hold. sent7: if that the storm is caudal and is not a marble is incorrect the shoot-'em-up does not sensualize umber. sent8: the shoot-'em-up is not a kind of a sabbatical if the melanin does not sensualize umber. sent9: if that the shoe-shop is not a Macedon hold then that the storm is caudal and it does marble is wrong. sent10: the melanin is a kind of a sabbatical but it does not sensualize umber if the shoot-'em-up does not sensualize umber. sent11: if the fact that the heterosexual is caudal but it is not a kind of a marble is not right the storm does not mask fa. sent12: the shoe-shop is not a Macedon if the heterosexual does not mask fa.
void -> assump1: Let's assume that the heterosexual does not mask fa.; sent12 & assump1 -> int1: the shoe-shop is not a Macedon.;
the heterosexual is not a Macedon.
sent1 -> int2: that the heterosexual is not the Macedon if that the heterosexual does not mask fa and is not caudal is incorrect is not wrong.; sent3 -> int3: the shoot-'em-up is not tractable and not a plaque.; sent6 & int3 -> int4: that the storm is not a sabbatical is not false.;
$hypothesis$ = if the heterosexual does not mask fa that the melanin is a kind of sabbatical thing that does not sensualize umber is not correct. ; $context$ = sent1: something is not a Macedon if that it does not mask fa and it is not caudal is not right. sent2: the fact that the melanin is a sabbatical and does not sensualize umber does not hold if the shoot-'em-up does not sensualize umber. sent3: everything is not tractable and it is not a plaque. sent4: if the shoe-shop does not marble the fact that the heterosexual does not mask fa and is not caudal does not hold. sent5: the fact that if the shoe-shop is not a marble then the fact that that the storm masks fa but it is not a kind of a Macedon is not incorrect is incorrect is not false. sent6: the storm is not a kind of a sabbatical if the fact that the shoot-'em-up is not tractable and it is not a kind of a plaque hold. sent7: if that the storm is caudal and is not a marble is incorrect the shoot-'em-up does not sensualize umber. sent8: the shoot-'em-up is not a kind of a sabbatical if the melanin does not sensualize umber. sent9: if that the shoe-shop is not a Macedon hold then that the storm is caudal and it does marble is wrong. sent10: the melanin is a kind of a sabbatical but it does not sensualize umber if the shoot-'em-up does not sensualize umber. sent11: if the fact that the heterosexual is caudal but it is not a kind of a marble is not right the storm does not mask fa. sent12: the shoe-shop is not a Macedon if the heterosexual does not mask fa. ; $proof$ = 
void -> assump1: Let's assume that the heterosexual does not mask fa.; sent12 & assump1 -> int1: the shoe-shop is not a Macedon.; __UNKNOWN__