the footwear clings fear.
sent1: if the crotch does cling fear but it is not a bourtree the footwear does not cling fear. sent2: the mix is a bourtree. sent3: something is not undemonstrative if it is not a Gray and it is not catechetical. sent4: if the fact that the fact that the mix is both not a Gray and not catechetical is not correct hold the footwear clings fear.
sent3 -> int1: if the mix is not a Gray and it is not catechetical then it is not undemonstrative.; void -> assump1: Let's assume that that the mix is both not a Gray and not catechetical is true.; int1 & assump1 -> int2: that the mix is not undemonstrative hold.;
the footwear does not cling fear.
$hypothesis$ = the footwear clings fear. ; $context$ = sent1: if the crotch does cling fear but it is not a bourtree the footwear does not cling fear. sent2: the mix is a bourtree. sent3: something is not undemonstrative if it is not a Gray and it is not catechetical. sent4: if the fact that the fact that the mix is both not a Gray and not catechetical is not correct hold the footwear clings fear. ; $proof$ = 
sent3 -> int1: if the mix is not a Gray and it is not catechetical then it is not undemonstrative.; void -> assump1: Let's assume that that the mix is both not a Gray and not catechetical is true.; int1 & assump1 -> int2: that the mix is not undemonstrative hold.; __UNKNOWN__