the fact that the fact that either the executive does not concretize kimono or it does not concretize parasail or both is not incorrect does not hold.
sent1: the torso is a bareness. sent2: if the arthropod is not a Alca then the handball is not a Alca. sent3: if the executive is not a constatation then the arthropod is not a kind of a Alca. sent4: if the handball is both not a Alca and not unsocial then the torso is not a bareness. sent5: the hiddenite is not a constatation and it is not unsocial if the executive is not a kind of a Alca. sent6: if something is not a kind of a Alca or it is a constatation or both then that it is a kind of a constatation hold. sent7: the executive is a bareness. sent8: the fact that if the arthropod is not a Alca the handball is not a Alca and it is not unsocial is right.
void -> assump1: Let's assume that the executive is not a constatation.; sent3 & assump1 -> int1: the arthropod is not a Alca.; int1 & sent8 -> int2: the handball is not a Alca and is not unsocial.; int2 & sent4 -> int3: the torso is not a bareness.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: the executive is a kind of a constatation.;
the hiddenite is not unsocial.
$hypothesis$ = the fact that the fact that either the executive does not concretize kimono or it does not concretize parasail or both is not incorrect does not hold. ; $context$ = sent1: the torso is a bareness. sent2: if the arthropod is not a Alca then the handball is not a Alca. sent3: if the executive is not a constatation then the arthropod is not a kind of a Alca. sent4: if the handball is both not a Alca and not unsocial then the torso is not a bareness. sent5: the hiddenite is not a constatation and it is not unsocial if the executive is not a kind of a Alca. sent6: if something is not a kind of a Alca or it is a constatation or both then that it is a kind of a constatation hold. sent7: the executive is a bareness. sent8: the fact that if the arthropod is not a Alca the handball is not a Alca and it is not unsocial is right. ; $proof$ = 
void -> assump1: Let's assume that the executive is not a constatation.; sent3 & assump1 -> int1: the arthropod is not a Alca.; int1 & sent8 -> int2: the handball is not a Alca and is not unsocial.; int2 & sent4 -> int3: the torso is not a bareness.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: the executive is a kind of a constatation.; __UNKNOWN__