the Appaloosa is an interlock.
sent1: if the serine is a kind of a fecklessness then the fact that it is not a substantiality and it is nonfictional does not hold. sent2: the serine is a fecklessness. sent3: the fact that the Appaloosa is not a kind of a spike and/or does harden adapter does not hold if it is not non-prescriptive. sent4: if that the Appaloosa is prescriptive hold that it does not harden adapter is true. sent5: the adapter is an interlock and/or it is not prescriptive if there is something such that it is not a kind of a Jewbush. sent6: the adapter is not a Jewbush if that the Appaloosa is not a spike or it hardens adapter or both is not right. sent7: if the adapter is non-prescriptive then the Appaloosa does not interlock. sent8: the adapter is a Jewbush. sent9: the Appaloosa does not harden adapter. sent10: if that the serine is not a substantiality and it is not nonfictional is incorrect the Appaloosa is nonfictional. sent11: that something is a substantiality and is fictional does not hold if the fact that it is a fecklessness is correct. sent12: if the serine does spike that it does not harden adapter and it is not nonfictional is not right. sent13: that the serine is a substantiality but it is fictional does not hold. sent14: the resin is not a substantiality if it is not a fecklessness. sent15: something that is not a substantiality is a kind of an interlock that is not nonfictional. sent16: if the serine is a fecklessness that it is not a kind of a substantiality and it is not nonfictional is false. sent17: the fact that the serine is a substantiality and not nonfictional is not right if it is a fecklessness.
void -> assump1: Let's assume that the Appaloosa is prescriptive.; sent3 & assump1 -> int1: that either the Appaloosa does not spike or it does harden adapter or both is not right.; int1 & sent6 -> int2: that the adapter is not a kind of a Jewbush is not wrong.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Appaloosa is not prescriptive.; sent16 & sent2 -> int5: that the serine is not a substantiality and not nonfictional does not hold.; sent10 & int5 -> int6: the Appaloosa is nonfictional.; int4 & int6 -> int7: the Appaloosa is nonfictional but it is not prescriptive.;
the resin is not a kind of a Jewbush.
sent15 -> int8: if the resin is not a substantiality it is an interlock and it is not nonfictional.;
$hypothesis$ = the Appaloosa is an interlock. ; $context$ = sent1: if the serine is a kind of a fecklessness then the fact that it is not a substantiality and it is nonfictional does not hold. sent2: the serine is a fecklessness. sent3: the fact that the Appaloosa is not a kind of a spike and/or does harden adapter does not hold if it is not non-prescriptive. sent4: if that the Appaloosa is prescriptive hold that it does not harden adapter is true. sent5: the adapter is an interlock and/or it is not prescriptive if there is something such that it is not a kind of a Jewbush. sent6: the adapter is not a Jewbush if that the Appaloosa is not a spike or it hardens adapter or both is not right. sent7: if the adapter is non-prescriptive then the Appaloosa does not interlock. sent8: the adapter is a Jewbush. sent9: the Appaloosa does not harden adapter. sent10: if that the serine is not a substantiality and it is not nonfictional is incorrect the Appaloosa is nonfictional. sent11: that something is a substantiality and is fictional does not hold if the fact that it is a fecklessness is correct. sent12: if the serine does spike that it does not harden adapter and it is not nonfictional is not right. sent13: that the serine is a substantiality but it is fictional does not hold. sent14: the resin is not a substantiality if it is not a fecklessness. sent15: something that is not a substantiality is a kind of an interlock that is not nonfictional. sent16: if the serine is a fecklessness that it is not a kind of a substantiality and it is not nonfictional is false. sent17: the fact that the serine is a substantiality and not nonfictional is not right if it is a fecklessness. ; $proof$ = 
void -> assump1: Let's assume that the Appaloosa is prescriptive.; sent3 & assump1 -> int1: that either the Appaloosa does not spike or it does harden adapter or both is not right.; int1 & sent6 -> int2: that the adapter is not a kind of a Jewbush is not wrong.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Appaloosa is not prescriptive.; sent16 & sent2 -> int5: that the serine is not a substantiality and not nonfictional does not hold.; sent10 & int5 -> int6: the Appaloosa is nonfictional.; int4 & int6 -> int7: the Appaloosa is nonfictional but it is not prescriptive.; __UNKNOWN__