there is something such that it is a Cercidiphyllum.
sent1: if there exists something such that it is not a ILO and it does not justify Ephesus the sequin does flatten. sent2: something is smoky if it flattens. sent3: if that the chorion is not a kind of a ILO and it does not justify Ephesus is incorrect it is strong. sent4: the sequin flattens if it relaces Marx. sent5: the militant justifies Ephesus. sent6: there exists something such that it is not apothecial. sent7: the chorion relaces Marx but it is not strong. sent8: the chorion does not justify chorion.
void -> assump1: Let's assume that that the fact that the chorion is not a ILO and does not justify Ephesus is false is right.; sent3 & assump1 -> int1: the chorion is strong.; sent7 -> int2: the chorion is not strong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the chorion is not a ILO and it does not justify Ephesus.; int4 -> int5: something is not a kind of a ILO and does not justify Ephesus.; int5 & sent1 -> int6: the sequin does flatten.; sent2 -> int7: the sequin is smoky if the fact that it does flatten is correct.; int6 & int7 -> int8: the sequin is smoky.;
$hypothesis$ = there is something such that it is a Cercidiphyllum. ; $context$ = sent1: if there exists something such that it is not a ILO and it does not justify Ephesus the sequin does flatten. sent2: something is smoky if it flattens. sent3: if that the chorion is not a kind of a ILO and it does not justify Ephesus is incorrect it is strong. sent4: the sequin flattens if it relaces Marx. sent5: the militant justifies Ephesus. sent6: there exists something such that it is not apothecial. sent7: the chorion relaces Marx but it is not strong. sent8: the chorion does not justify chorion. ; $proof$ = 
void -> assump1: Let's assume that that the fact that the chorion is not a ILO and does not justify Ephesus is false is right.; sent3 & assump1 -> int1: the chorion is strong.; sent7 -> int2: the chorion is not strong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the chorion is not a ILO and it does not justify Ephesus.; int4 -> int5: something is not a kind of a ILO and does not justify Ephesus.; int5 & sent1 -> int6: the sequin does flatten.; sent2 -> int7: the sequin is smoky if the fact that it does flatten is correct.; int6 & int7 -> int8: the sequin is smoky.; __UNKNOWN__