if the matzo is not Procrustean then that either the stiletto does not ensconce stiletto or it is nonassociative or both does not hold.
sent1: something that is either a perpetrator or not a Bornean or both is not nonassociative. sent2: the matzo is a Bornean. sent3: if the matzo is not nonassociative then the stiletto is not nonassociative. sent4: the fact that the stiletto ensconces stiletto and/or it is nonassociative is not correct. sent5: if the matzo is not Procrustean then the stiletto is not nonassociative. sent6: that the stiletto either does ensconce stiletto or is nonassociative or both does not hold if the matzo is not Procrustean. sent7: if that either something is a perpetrator or it is not a Bornean or both is false it is Procrustean. sent8: the matzo is not nonassociative if it is not a Bornean.
sent7 -> int1: the matzo is Procrustean if that it is a perpetrator and/or it is not a Bornean is incorrect.; void -> assump2: Let's assume that that the matzo is either a perpetrator or not a Bornean or both does not hold.; int1 & assump2 -> int2: the matzo is Procrustean.; void -> assump1: Let's assume that that the matzo is not Procrustean is true.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the matzo is a kind of a perpetrator and/or it is not a Bornean is not false.; sent1 -> int5: if the matzo is a perpetrator or is not a Bornean or both then it is not nonassociative.; int4 & int5 -> int6: the fact that the matzo is not nonassociative hold.;
$hypothesis$ = if the matzo is not Procrustean then that either the stiletto does not ensconce stiletto or it is nonassociative or both does not hold. ; $context$ = sent1: something that is either a perpetrator or not a Bornean or both is not nonassociative. sent2: the matzo is a Bornean. sent3: if the matzo is not nonassociative then the stiletto is not nonassociative. sent4: the fact that the stiletto ensconces stiletto and/or it is nonassociative is not correct. sent5: if the matzo is not Procrustean then the stiletto is not nonassociative. sent6: that the stiletto either does ensconce stiletto or is nonassociative or both does not hold if the matzo is not Procrustean. sent7: if that either something is a perpetrator or it is not a Bornean or both is false it is Procrustean. sent8: the matzo is not nonassociative if it is not a Bornean. ; $proof$ = 
sent7 -> int1: the matzo is Procrustean if that it is a perpetrator and/or it is not a Bornean is incorrect.; void -> assump2: Let's assume that that the matzo is either a perpetrator or not a Bornean or both does not hold.; int1 & assump2 -> int2: the matzo is Procrustean.; void -> assump1: Let's assume that that the matzo is not Procrustean is true.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the matzo is a kind of a perpetrator and/or it is not a Bornean is not false.; sent1 -> int5: if the matzo is a perpetrator or is not a Bornean or both then it is not nonassociative.; int4 & int5 -> int6: the fact that the matzo is not nonassociative hold.; __UNKNOWN__