the roads is not heterocercal.
sent1: the roads is heterocercal if that it is not perinatal hold. sent2: if that the trustee is not a entellus but it does blunt is not correct then it is a kind of a Ephesian. sent3: the fact that the trustee is a entellus that does blunt is not true. sent4: the fact that the timucu is not a H but it does blunt is wrong. sent5: the roads is not a Ephesian if the fact that the danger is both Ephesian and incalculable is false. sent6: that something is heterocercal and is perinatal does not hold if it is not a Ephesian. sent7: either something is not heterocercal or it is not perinatal or both if it is a Ephesian. sent8: if the trustee is not a kind of a entellus but it does blunt the roads is not perinatal. sent9: the trustee is non-Ephesian. sent10: if the trustee is a kind of a entellus and it blunts then the roads is not perinatal. sent11: that that something does not stunt but it is Zairean is incorrect if it is not perinatal hold.
void -> assump1: Let's assume that the fact that the trustee is not a kind of a entellus but it does blunt is wrong.; sent2 & assump1 -> int1: the trustee is Ephesian.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the trustee is not a kind of a entellus and blunts is right.; int3 & sent8 -> int4: the roads is not perinatal.; int4 & sent1 -> hypothesis;
the roads is not heterocercal.
sent7 -> int5: if the roads is a kind of a Ephesian it is not heterocercal or it is not perinatal or both.;
$hypothesis$ = the roads is not heterocercal. ; $context$ = sent1: the roads is heterocercal if that it is not perinatal hold. sent2: if that the trustee is not a entellus but it does blunt is not correct then it is a kind of a Ephesian. sent3: the fact that the trustee is a entellus that does blunt is not true. sent4: the fact that the timucu is not a H but it does blunt is wrong. sent5: the roads is not a Ephesian if the fact that the danger is both Ephesian and incalculable is false. sent6: that something is heterocercal and is perinatal does not hold if it is not a Ephesian. sent7: either something is not heterocercal or it is not perinatal or both if it is a Ephesian. sent8: if the trustee is not a kind of a entellus but it does blunt the roads is not perinatal. sent9: the trustee is non-Ephesian. sent10: if the trustee is a kind of a entellus and it blunts then the roads is not perinatal. sent11: that that something does not stunt but it is Zairean is incorrect if it is not perinatal hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the trustee is not a kind of a entellus but it does blunt is wrong.; sent2 & assump1 -> int1: the trustee is Ephesian.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the trustee is not a kind of a entellus and blunts is right.; int3 & sent8 -> int4: the roads is not perinatal.; int4 & sent1 -> hypothesis; __DISPROVED__