the Genoese does not school Genoese and it does not tarry.
sent1: that something does strangulate contrariness and it is a kind of a spendthrift does not hold if it is not illegitimate. sent2: the Genoese is loamless. sent3: if the fact that the fact that something strangulates contrariness and it is a spendthrift is not incorrect is false it does not school Genoese. sent4: that the Genoese does not tarry is not false if there exists something such that the fact that it does tarry and is a larboard does not hold. sent5: the Genoese is not transoceanic. sent6: there exists something such that it is loamless and is transoceanic. sent7: the fact that the Genoese is not transoceanic and is loamless is not correct if the fact that it is illegitimate is correct. sent8: the fact that something schools Genoese and it is transoceanic is not right if it is not illegitimate.
void -> assump1: Let's assume that the Genoese is illegitimate.; sent7 & assump1 -> int1: that the Genoese is not transoceanic but it is loamless is wrong.; sent5 & sent2 -> int2: the Genoese is not transoceanic but loamless.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Genoese is not illegitimate.; sent1 -> int5: if the Genoese is not illegitimate then that it strangulates contrariness and it is a spendthrift is not right.; int4 & int5 -> int6: that the Genoese strangulates contrariness and it is a kind of a spendthrift is wrong.; sent3 -> int7: if the fact that the Genoese does strangulate contrariness and it is a spendthrift is wrong it does not school Genoese.; int6 & int7 -> int8: the Genoese does not school Genoese.;
$hypothesis$ = the Genoese does not school Genoese and it does not tarry. ; $context$ = sent1: that something does strangulate contrariness and it is a kind of a spendthrift does not hold if it is not illegitimate. sent2: the Genoese is loamless. sent3: if the fact that the fact that something strangulates contrariness and it is a spendthrift is not incorrect is false it does not school Genoese. sent4: that the Genoese does not tarry is not false if there exists something such that the fact that it does tarry and is a larboard does not hold. sent5: the Genoese is not transoceanic. sent6: there exists something such that it is loamless and is transoceanic. sent7: the fact that the Genoese is not transoceanic and is loamless is not correct if the fact that it is illegitimate is correct. sent8: the fact that something schools Genoese and it is transoceanic is not right if it is not illegitimate. ; $proof$ = 
void -> assump1: Let's assume that the Genoese is illegitimate.; sent7 & assump1 -> int1: that the Genoese is not transoceanic but it is loamless is wrong.; sent5 & sent2 -> int2: the Genoese is not transoceanic but loamless.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Genoese is not illegitimate.; sent1 -> int5: if the Genoese is not illegitimate then that it strangulates contrariness and it is a spendthrift is not right.; int4 & int5 -> int6: that the Genoese strangulates contrariness and it is a kind of a spendthrift is wrong.; sent3 -> int7: if the fact that the Genoese does strangulate contrariness and it is a spendthrift is wrong it does not school Genoese.; int6 & int7 -> int8: the Genoese does not school Genoese.; __UNKNOWN__