that there exists something such that if it does abuse applejack then it does abuse Coturnix does not hold.
sent1: if the muffle does not Latinize but it abuses bearskin then that it does not abuse applejack hold. sent2: the muffle abuses bearskin. sent3: something does abuse Coturnix if it does not abuse bearskin. sent4: the muffle abuses Coturnix if it does not abuse bearskin. sent5: if that something does not Latinize but it abuses bearskin is incorrect then it abuses Coturnix. sent6: the muffle does abuse applejack if it does not Latinize and does abuse bearskin. sent7: the muffle abuses Coturnix and is endocentric if the bearskin does not abuse applejack.
void -> assump2: Let's assume that the muffle does not Latinize and does abuse bearskin.; sent1 & assump2 -> int1: the muffle does not abuse applejack.; void -> assump1: Let's assume that the muffle does abuse applejack.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the muffle does not Latinize and does abuse bearskin does not hold.; sent5 -> int4: if that the muffle does not Latinize but it abuses bearskin is wrong it abuses Coturnix.; int3 & int4 -> int5: the muffle does abuse Coturnix.; [assump1] & int5 -> int6: the muffle abuses Coturnix if it abuses applejack.; int6 -> hypothesis;
the muffle is endocentric.
$hypothesis$ = that there exists something such that if it does abuse applejack then it does abuse Coturnix does not hold. ; $context$ = sent1: if the muffle does not Latinize but it abuses bearskin then that it does not abuse applejack hold. sent2: the muffle abuses bearskin. sent3: something does abuse Coturnix if it does not abuse bearskin. sent4: the muffle abuses Coturnix if it does not abuse bearskin. sent5: if that something does not Latinize but it abuses bearskin is incorrect then it abuses Coturnix. sent6: the muffle does abuse applejack if it does not Latinize and does abuse bearskin. sent7: the muffle abuses Coturnix and is endocentric if the bearskin does not abuse applejack. ; $proof$ = 
void -> assump2: Let's assume that the muffle does not Latinize and does abuse bearskin.; sent1 & assump2 -> int1: the muffle does not abuse applejack.; void -> assump1: Let's assume that the muffle does abuse applejack.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the muffle does not Latinize and does abuse bearskin does not hold.; sent5 -> int4: if that the muffle does not Latinize but it abuses bearskin is wrong it abuses Coturnix.; int3 & int4 -> int5: the muffle does abuse Coturnix.; [assump1] & int5 -> int6: the muffle abuses Coturnix if it abuses applejack.; int6 -> hypothesis; __DISPROVED__