if the miscegenation is virtuous then the Lincoln is not a roadhog and it does not interpose eparchy.
sent1: if there exists something such that it is not virtuous and is not a roadhog then that the miscegenation does not interpose eparchy is not false. sent2: that the Lincoln is virtuous but it does not interpose eparchy is incorrect. sent3: there exists something such that the fact that it is not a Colossians and does curb Armadillidium does not hold. sent4: the Lincoln is not a roadhog and interposes eparchy. sent5: the miscegenation is not virtuous if there exists something such that that it is not a roadhog and does not interpose eparchy is false. sent6: the Lincoln is not a roadhog. sent7: the Lincoln interposes eparchy. sent8: the miscegenation does not interpose eparchy. sent9: there exists something such that the fact that it is a roadhog and it does not interpose eparchy is false.
void -> assump2: Let's assume that that the Lincoln is not a roadhog and does not interpose eparchy does not hold.; assump2 -> int1: there is something such that that it is not a roadhog and does not interpose eparchy does not hold.; int1 & sent5 -> int2: the miscegenation is not virtuous.; void -> assump1: Let's assume that the miscegenation is virtuous.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Lincoln is not a roadhog and it does not interpose eparchy.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the miscegenation is virtuous then the Lincoln is not a roadhog and it does not interpose eparchy. ; $context$ = sent1: if there exists something such that it is not virtuous and is not a roadhog then that the miscegenation does not interpose eparchy is not false. sent2: that the Lincoln is virtuous but it does not interpose eparchy is incorrect. sent3: there exists something such that the fact that it is not a Colossians and does curb Armadillidium does not hold. sent4: the Lincoln is not a roadhog and interposes eparchy. sent5: the miscegenation is not virtuous if there exists something such that that it is not a roadhog and does not interpose eparchy is false. sent6: the Lincoln is not a roadhog. sent7: the Lincoln interposes eparchy. sent8: the miscegenation does not interpose eparchy. sent9: there exists something such that the fact that it is a roadhog and it does not interpose eparchy is false. ; $proof$ = 
void -> assump2: Let's assume that that the Lincoln is not a roadhog and does not interpose eparchy does not hold.; assump2 -> int1: there is something such that that it is not a roadhog and does not interpose eparchy does not hold.; int1 & sent5 -> int2: the miscegenation is not virtuous.; void -> assump1: Let's assume that the miscegenation is virtuous.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Lincoln is not a roadhog and it does not interpose eparchy.; [assump1] & int4 -> hypothesis; __PROVED__