the Cuban is Guinean if the hindrance is a kind of a millenarian.
sent1: if that something does not factor and is not inscriptive is not right then it is a Guinean. sent2: the fact that if the Cuban is both not a factor and not inscriptive the hindrance is non-millenarian is not wrong.
void -> assump2: Let's assume that the Cuban does not factor and is not inscriptive.; sent2 & assump2 -> int1: the hindrance is not millenarian.; void -> assump1: Let's assume that the hindrance is not non-millenarian.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the Cuban is not a kind of a factor and is not inscriptive is not correct.; sent1 -> int4: the Cuban is Guinean if the fact that it does not factor and is not inscriptive is not right.; int3 & int4 -> int5: the Cuban is a Guinean.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the Cuban is Guinean if the hindrance is a kind of a millenarian. ; $context$ = sent1: if that something does not factor and is not inscriptive is not right then it is a Guinean. sent2: the fact that if the Cuban is both not a factor and not inscriptive the hindrance is non-millenarian is not wrong. ; $proof$ = 
void -> assump2: Let's assume that the Cuban does not factor and is not inscriptive.; sent2 & assump2 -> int1: the hindrance is not millenarian.; void -> assump1: Let's assume that the hindrance is not non-millenarian.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the Cuban is not a kind of a factor and is not inscriptive is not correct.; sent1 -> int4: the Cuban is Guinean if the fact that it does not factor and is not inscriptive is not right.; int3 & int4 -> int5: the Cuban is a Guinean.; [assump1] & int5 -> hypothesis; __PROVED__