that the crook restrains hold.
sent1: something restrains if it is not unintelligent and is ethnological. sent2: the hemline does singularize anchusa and it is a kind of an astrakhan. sent3: the anchusa is not a Nestorius if that the crook is not unintelligent but it is ethnological is wrong. sent4: if that the anchusa is not a kind of a Nestorius is not incorrect then that that the hemline is a Nestorius and is not a Assault is false hold.
void -> assump1: Let's assume that the fact that the crook is not unintelligent but ethnological is false.; sent3 & assump1 -> int1: the anchusa is not a Nestorius.; int1 & sent4 -> int2: that the hemline is a Nestorius but it is not a Assault is false.; sent2 -> int3: that the hemline singularizes anchusa is right.; sent1 -> int4: if the crook is intelligent and not non-ethnological it restrains.;
$hypothesis$ = that the crook restrains hold. ; $context$ = sent1: something restrains if it is not unintelligent and is ethnological. sent2: the hemline does singularize anchusa and it is a kind of an astrakhan. sent3: the anchusa is not a Nestorius if that the crook is not unintelligent but it is ethnological is wrong. sent4: if that the anchusa is not a kind of a Nestorius is not incorrect then that that the hemline is a Nestorius and is not a Assault is false hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the crook is not unintelligent but ethnological is false.; sent3 & assump1 -> int1: the anchusa is not a Nestorius.; int1 & sent4 -> int2: that the hemline is a Nestorius but it is not a Assault is false.; sent2 -> int3: that the hemline singularizes anchusa is right.; sent1 -> int4: if the crook is intelligent and not non-ethnological it restrains.; __UNKNOWN__